$ 0 0 The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is now open sourcemore here......................http://sel4.systems/