seL4 is free!

Gernot Heiser gernot at cse.unsw.edu.au
Tue Jul 29 07:27:54 CEST 2014


A few hours ago we open-sourced seL4. The release covers the kernel source and proofs (under GPL v2) as well as tools and libraries (mostly BSD). http://sel4.systems contains details, including download and mailing list links.

Enjoy,
Gernot


More information about the l4-hackers mailing list