Chinese EV company NIO is using the formally-verified seL4 operating system for its cars
Chinese EV company NIO is using the formally-verified seL4 operating system for its cars
fosstodon.org seL4 (@sel4@fosstodon.org)
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
0
comments