โปรแกรมตาม genode.org/

เฟรมเวิร์กระบบปฏิบัติการ Genode ขยายเคอร์เนลที่มีอยู่ (เช่น microkernel หรือ hypervisor) และให้ API ที่เหมือนกันสําหรับการใช้งาน การสนับสนุนเคอร์เนล: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4 / Fiasco และ Linux (x