Follow Slashdot blog updates by subscribing to our blog RSS feed


Forgot your password?
Check out the new SourceForge HTML5 internet speed test! No Flash necessary and runs on all devices. ×

Submission + - sel4 microkernel now Open Source (

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.

sel4 microkernel now Open Source

Comments Filter:

"Take that, you hostile sons-of-bitches!" -- James Coburn, in the finale of _The_President's_Analyst_