开发者 genode.org/
-
Genode OS Framework 免费
Genode 操作系统框架扩展了现有内核(例如,微内核或虚拟机管理程序),并为应用程序提供了统一的 API。内核支持:L4ka::P istachio、OKL4(ARM、x86)、CodeZero、NOVA、L4/Fiasco和Linux(x86-32,x86-64)
Genode 操作系统框架扩展了现有内核(例如,微内核或虚拟机管理程序),并为应用程序提供了统一的 API。内核支持:L4ka::P istachio、OKL4(ARM、x86)、CodeZero、NOVA、L4/Fiasco和Linux(x86-32,x86-64)