Announce

Download

announce@sel4.systems

July 2023

1 participants
2 discussions

Thanks Collins Aerospace for being Silver Sponsor of the seL4 Summit 2023
by Announcements about seL4 -- low volume list 12 Jul '23

12 Jul '23

The seL4 Foundation thanks Collins Aerospace for becoming a Silver sponsor of the seL4 Summit 2023. Collins Aerospace, part of seL4 Foundation member Raytheon Technologies, has been a long-time core participant in the seL4 ecosystem. It was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same team also led the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures. The seL4 Summit 2023 will take place in Minneapolis, home town of this Collins Aerospace team involved in seL4. https://www.collinsaerospace.com/ https://sel4.systems/Foundation/Summit/2023/ https://sel4.systems/news/2023#sponsor23-collins If you are interested in sponsoring the seL4 summit 2023, follow: https://events.linuxfoundation.org/sel4-summit/sponsor/ Cheers June

1 0

Thanks NIO for being Gold Sponsor of the seL4 Summit 2023
by Announcements about seL4 -- low volume list 12 Jul '23

12 Jul '23

The seL4 Foundation thanks NIO for becoming our first Gold sponsor of the seL4 Summit 2023. NIO is a global EV company funded in 2015 and that went public in the U.S. in 2018. NIO emphasizes user experience and technology innovation. NIO is a strong supporter of seL4 and a premium member of the seL4 Foundation. It has been investing heavily on building a full-fledge software platform for modern vehicles based on seL4. https://www.nio.com/ https://sel4.systems/Foundation/Summit/2023/ https://sel4.systems/news/2023#sponsor23-nio If you are interested in sponsoring the seL4 summit 2023, follow: https://events.linuxfoundation.org/sel4-summit/sponsor/ Cheers June

1 0