Programas por genode.org/

O quadro do sistema operativo Genode alarga os núcleos existentes (por exemplo, microkernel ou hipervisor) e fornece uma API uniforme para aplicações. Suporte kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fias