L4 Environment, DICE IDL compiler and L4/Fiasco microkernel
Primary LanguageC
L4 Environment, DICE IDL compiler and L4/Fiasco microkernel. License: GPLv2.