News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by axman6 on Friday August 01, 2014 @04:35AM (#8118837)
Oh, I didn't realise the linked article wasn't the actual seL4 website.
[ Parent | on HN ]

There are no comments on this comment yet.