“The World’s Most Highly-Assured OS” Kernel Open-Sourced

The seL4 kernel that’s an advanced, security-enhanced version of the L4 micro-kernel has been open-sourced by General Dynamics C4 Systems and NICTA…