l4re core:L4Re操作系统的核心组件 源码

L4Re核心组件 该软件包包含L4Re操作系统的核心组件。 它包括以下组件: sigma0-初始内存管理器 萌-根任务 ned-默认的初始化过程 libc和libstdc ++ 内核绑定 和更多的支持库 文献资料 该软件包是L4Re操作系统的一部分。 有关文档和构建说明,请参见 。 会费 我们欢迎您的贡献。 请参阅我们的贡献者指南以。 执照 详细的许可信息可在文件中找到。