posted by Thom Holwerda on Tue 29th Jul 2014 08:34 UTC

General Dynamics C4 Systems and NICTA are pleased to announce the open sourcing of seL4, the world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. It is still the world's most highly-assured OS.

And here's the code.

e p (2)    7 Comment(s)

Technology White Papers

See More