29 Jul
2014
29 Jul
'14
7:27 a.m.
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