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