seL4

The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open source.

0 comments Security akerro sel4.systems 0 9 years ago