Program menurut genode.org/

Kerangka kerja sistem operasi Genode memperluas kernel yang ada (misalnya, mikrokernel atau hypervisor) dan menyediakan API yang seragam untuk aplikasi. Dukungan kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/F