Genode OS Framework:用于构建高度安全的专用操作系统的工具包-开源

Genode OS Framework 是一个用于构建高度安全的专用操作系统的工具包。 它可以从只有 4 MB 内存的嵌入式系统扩展到高度动态的通用工作负载。 Genode 基于递归系统结构。 每个程序都在专用沙箱中运行，并且仅授予其特定用途所需的访问权限和资源。 程序可以利用自己的资源创建和管理子沙箱，从而形成可以在每个级别应用策略的层次结构。 该框架提供了让程序相互通信和交换资源的机制，但只能以严格定义的方式进行。 由于这种严格的制度，与当代操作系统相比，安全关键功能的攻击面可以减少几个数量级。 使用 Sculpt OS，Genode OS 框架包括一个即装即用的通用操作系统。