sel4 microkernel now Open Source

Follow Slashdot stories on Twitter

DEAL: For $25 - Add A Second Phone Number To Your Smartphone for life! Use promo code SLASHDOT25. Also, Slashdot's now on IFTTT. Check it out! Check out the new SourceForge HTML5 Internet speed test! ×

Submission + - sel4 microkernel now Open Source (osnews.com)

Submitted by Anonymous Coward on Tuesday July 29, 2014 @10:12AM

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

This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.