NIO announces seL4-based SkyOS operating system

We are excited to share that NIO recently unveiled their seL4-based SkyOS operating system, designed for Software Defined Vehicles, which they have been working on relentlessly for the past two years. At the seL4 Summit 2023 Qiyan Wang, NIO’s Global VP of Digital Systems, announced that NIO cars based on seL4 are planned for next year!