genode

Genode OS 框架是一个开源工具包，用于构建高度安全的基于组件的操作系统。 它可以从嵌入式设备扩展到动态通用计算。...