[–] nailer 10y ago ↗ If you're wondering: http://sel4.systems/> The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source.
1 comment
[ 6.2 ms ] story [ 21.4 ms ] thread> The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source.