Microkernel

Microkernel, formerly L4Ka::Pistachio, now Fiasco.OC

Older L4 X.2 docs

IDL4 Manual

L4 Version X.2 Reference Manual

L4Ka:Kickstart

L4Ka::Pistachio and Afterburner build process

Fiasco and L4Linux build process

Newer Fiasco.OC docs

TODO