開發者 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)