News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by adamnemecek on Tuesday July 29, 2014 @04:22AM (#8101198)
The paper they published based on their findings, "Improving IPC by kernel design"[0], is pretty #cool and worth reading.

[0] http://www.scs.stanford.edu/nyu/04fa/sched/readings/l3.pdf

[ Parent | on HN ]

There are no comments on this comment yet.