seL4 is free!
Gernot Heiser <[email protected]> Tue, 29 Jul 2014 15:39:41 +1000
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
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=