July 29, 2014

"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...

Read more at Phoronix
Click Here!