technology hypercracker • 4d ago • 100%

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

fosstodon.org