开发者 genode.org/

Genode 操作系统框架扩展了现有内核（例如，微内核或虚拟机管理程序），并为应用程序提供了统一的 API。内核支持：L4ka：:P istachio、OKL4（ARM、x86）、CodeZero、NOVA、L4/Fiasco和Linux（x86-32，x86-64）