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.
If you are interested in sponsoring the seL4 summit 2023, follow: https://events.linuxfoundation.org/sel4-summit/sponsor/