Submission + - sel4 microkernel now Open Source (osnews.com)
An anonymous reader writes: OSnews is reporting that the formally verified sel4 microkernel is now open source: "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."
end-to-end proof of implementation correctness and security enforcement. It is still the world's most highly assured OS."
sel4 microkernel now Open Source More Login
sel4 microkernel now Open Source
Slashdot Top Deals