3 ms·
This will rank up there as the most secure: "The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enfo
by seanwilson 10y ago
This will rank up there as the most secure:
"The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source."
https://sel4.systems/ https://sel4.systems/
- cweagans 10y agoDefinitely expected this to be one of those joke responses where the linked thing takes no user input, does nothing, and exits quickly. It really would be the most secure, but the usefulness would be questionable, of course.
- marmot777 10y agoLOL. That would be classic. Perfect security. :-)