Chinese EV company NIO is using the formally-verified seL4 operating system for its cars

Attached: 1 image Ning Qu from Foundation Premium Member NIO talks at the ##seL4Summit about their seL4-based SkyOS, which has been shipping in their latest models since last month