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.
Reply on news.ycombinator.com