Welcome NIO, Silver sponsor of the seL4 Summit 2024
2 Oct
2024
2 Oct
'24
8:33 a.m.
Welcome NIO, Silver sponsor of the seL4 Summit 2024 The seL4 Foundation thanks NIO [0] for becoming a Silver sponsor of the seL4 Summit 2024 [1]. 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. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2024/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems mailto:birgit@sel4.systems bbrcknl@gmail.com mailto:bbrcknl@gmail.com
82
Age (days ago)
82
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list