Genode 操作系统框架扩展了现有内核（例如，微内核或虚拟机管理程序），并为应用程序提供了统一的 API。内核支持：L4ka：:P istachio、OKL4（ARM、x86）、CodeZero、NOVA、L4/Fiasco和Linux（x86-32，x86-64）
版本历史记录
- 版本 11.02 发布于 2011-02-25
若干修复和更新 - 版本 11.02 发布于 2011-02-25
软件信息
- 软件分类： 发展 > 其他
- 发布者： genode.org/
- 许可： 免费
- 价格： N/A
- 版本： 11.02
- 适用平台： windows