6 ms·
SeL4 2.0 release notes
- nailer 11y agoIf you're wondering: http://sel4.systems/ 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.