Atur cara mengikut genode.org/

Rangka kerja sistem operasi Genode memperluaskan kernel sedia ada (contohnya, mikrokernel atau hipervisor) dan menyediakan API seragam untuk aplikasi. Sokongan kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fia