Programas por genode.org/

El marco del sistema operativo Genode amplía los kernels existentes (por ejemplo, microkernel o hipervisor) y proporciona una API uniforme para las aplicaciones. Soporte del núcleo: L4ka::P istachio, OKL4 (ARM, x86), CodeZero