==== Microkernel ====

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

=== Older L4 X.2 docs ===

  * {{downloads:docs:idl4_manual.pdf|IDL4 Manual}}
  * {{downloads:docs:l4-x2-r5.pdf|L4 Version X.2 Reference Manual}}
  * [[en:docs:kickstart|L4Ka:Kickstart]]
  * [[en:docs:kernel:build|L4Ka::Pistachio and Afterburner build process]]
  * [[en:docs:kernel:fiasco:build|Fiasco and L4Linux build process]]

=== Newer Fiasco.OC docs ===

**TODO**