seL4 is free!

Gernot Heiser gernot at
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). contains details, including download and mailing list links.


More information about the l4-hackers mailing list