News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by sanxiyn on Tuesday July 29, 2014 @04:07AM (#8101169)
It is out of date. The most of kernel is under GPLv2.
[ Parent | on HN ]

There are no comments on this comment yet.