( zamboriz | 2007. 06. 11., h – 23:15 )

2) What about the modern L4 microkernel (especially the L4Ka::Pistachio and Fiasco implementations) and the L4Linux project (Linux on top of L4)?

I'm not really familiar enough with the internals of the L4 project to comment.