News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by reirob on Tuesday July 29, 2014 @04:59AM (#8101288)
Just found a great summary about what is proved to be secure and what is assumed: https://news.ycombinator.com/item?id=8100033
[ Parent | on HN ]

There are no comments on this comment yet.