Phoronix: "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...
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...
Comment