NIO announces seL4-based SkyOS operating system We are excited to share that NIO [0] recently unveiled their seL4-based SkyOS operating system [1], designed for Software Defined Vehicles, which they have been working on relentlessly for the past two years. At the seL4 Summit 2023 [2] Qiyan Wang, NIO’s Global VP of Digital Systems, announced that NIO cars based on seL4 are planned for next year [3]! [0] https://www.nio.com/ [1] https://www.linkedin.com/posts/qiyan-wang-8b0b2145_skyos-was-unveiled-to-the... [2] https://sel4.systems/Foundation/Summit/2023/ [3] https://www.youtube.com/watch?v=HfvX2VbWp6c&list=PLtoQeavghzr2qwDaad0hhsBBJMjkX_o4O&index=29 --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit@sel4.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm