Slashdot is powered by your submissions, so send in your scoop


Forgot your password?
Slashdot Deals: Deal of the Day - Pay What You Want for the Learn to Code Bundle, includes AngularJS, Python, HTML5, Ruby, and more. ×

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:

The secret of success is sincerity. Once you can fake that, you've got it made. -- Jean Giraudoux