hypercracker [he/him] to technology • 7 hours agoChinese EV company NIO is using the formally-verified seL4 operating system for its carsexternal-linkmessage-square0 fedilinkarrow-up114file-text
arrow-up114external-linkChinese EV company NIO is using the formally-verified seL4 operating system for its carshypercracker [he/him] to technology • 7 hours agomessage-square0 Commentsfedilinkfile-text