L4Ka development repositories

Repositories

• pistachio

  L4Ka::Pistachio micro-kernel
  C++ 48 211 6 1 Updated Oct 14, 2019

• idl4

  L4Ka::IDL4 Compiler
  C++ GPL-2.0 5 17 2 0 Updated Sep 1, 2015

• hazelnut

  L4Ka::Hazelnut micro-kernel
  Assembly 7 27 1 0 Updated Sep 1, 2015

• afterburner

  L4Ka::Afterburner virtualization project
  C 5 13 0 0 Updated Oct 13, 2011