News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by vlad003 on Tuesday July 29, 2014 @01:04PM (#8103328)
Conveniently enough, I just generated myself a pdf of it: [link redacted]
[ Parent | on HN ]
Re:The seL4 microkernel by bjourne on Tuesday July 29, 2014 @04:19PM (#8104750)
Thanks
[ Parent | on HN ]