開發者 genode.org/

Genode 作業系統框架擴展了現有內核（例如，微內核或虛擬機器管理程式），並為應用程式提供了統一的 API。內核支援：L4ka：:P istachio、OKL4（ARM、x86）、CodeZero、NOVA、L4/Fiasco和Linux（x86-32，x86-64）