Chương trình theo genode.org/

Khung hệ điều hành Genode mở rộng các hạt nhân hiện có (ví dụ: microkernel hoặc hypervisor) và cung cấp một API thống nhất cho các ứng dụng. Hỗ trợ hạt nhân: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco và Lin