SeL4 2.0 release notes
sel4.systemsIf 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.
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.