4 ms·
^ i'm interested in this as well. Would it be faster to build a secure OS using similar tech from seL4/CertiKOS now than their 14 yrs?
by aerioux 10y ago
^ i'm interested in this as well.
Would it be faster to build a secure OS using similar tech from seL4/CertiKOS now than their 14 yrs?
- qznc 10y agoGernot Heiser, the leader behind seL4, thinks so: https://microkerneldude.wordpress.com/2016/06/16/verified-software-can-and-will-be-cheaper-than-buggy-stuff/ https://microkerneldude.wordpress.com/2016/06/16/verified-so... They built infrastructure to build verified OS stuff faster/cheaper. For example, they reimplemented ext2fs for Linux.