If you're wondering: <a href="http://sel4.systems/" rel="nofollow">http://sel4.systems/</a><p>> The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source.