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

• IDL4 Manual
• L4 Version X.2 Reference Manual
• L4Ka:Kickstart
• L4Ka::Pistachio and Afterburner build process
• Fiasco and L4Linux build process

TODO