[seL4 Announce] Thanks NIO for being Gold Sponsor of the seL4 Summit 2023

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