News for hackers. Stuff that matters.

A comment on The seL4 microkernel. Parent comment

Re:The seL4 microkernel by damian2000 on Tuesday July 29, 2014 @04:02AM (#8101158)
Something about L4 here: http://en.wikipedia.org/wiki/L4_microkernel_family

I hadn't heard about it before

[ Parent | on HN ]
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 ]