狮子操作系统
Hacker News 摘要原标题：The Lions Operating System
LionsOS 0.3.0 是一个基于 seL4 微内核的操作系统，旨在使 seL4 的成果更易获取，提供性能、安全性和可靠性。目前，LionsOS 正在进行积极的研究与开发，尚未有具体的验证故事，因此预计在这一阶段并不稳定，但可以供他人进行实验。
该系统由澳大利亚 UNSW 悉尼的可信系统研究小组开发，属于一种非传统的操作系统，包含可组合的组件，以便为特定任务创建定制的操作系统。这些组件通过 Microkit 工具组合在一起。LionsOS 系统的设计原则包括：
1. 组件通过无锁队列连接，使用高效的模型检查信号机制。
2. 虽然实践中可能受限，操作系统组件应只承担单一任务。例如，驱动程序仅负责将硬件接口与系统的其他部分之间的队列进行转换。
3. 称为虚拟器的组件负责多路复用和控制，以及对驱动程序的虚拟地址和 IO 地址之间的转换。
4. 信息仅在必要时通过队列或发布的信息页面共享。
5. 系统是静态的：它不适应硬件变化，也不在运行时加载组件。然而，系统提供了一种机制，可以在运行时替换同类组件，以实现策略更改或重新启动一个带有新 Linux 内核的虚拟机。
为了实现这些目标，还需要更多的组件，欢迎对各个代码库提交拉取请求，有关贡献的详细信息请参阅贡献页面。