"The World's Most Highly-Assured OS" Kernel Open-Sourced

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

July 29, 2014

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…