LionsOS是基于seL4微内核的操作系统，由澳大利亚UNSW Sydney的Trustworthy Systems研究组开发，旨在提供高性能、安全性和可靠性。它采用可组合组件架构，通过Microkit工具构建定制化操作系统，遵循sDDF设计原则，目前处于研发阶段，尚未稳定。

标题：Lions操作系统简介

来源：https://lionsos.org/

发布时间：2025年11月5日

内容概述：

Lions操作系统（LionsOS）目前正处于积极研发阶段，尚未形成完整的验证体系，现阶段系统稳定性仍在完善中，但已开放供开发者实验使用。

该系统基于seL4微内核构建，旨在充分发挥seL4微内核的技术优势，为用户提供高性能、高安全性和高可靠性的操作系统解决方案。项目由澳大利亚新南威尔士大学的可信系统研究组负责开发。

LionsOS并非传统意义上的操作系统，而是由可组合的模块化组件构成，这些组件通过Microkit工具进行集成，能够针对特定任务需求定制专属操作系统。

系统设计原则详见sDDF设计文档，主要包括： 1. 组件间采用无锁队列连接，配合高效模型检验的信号机制 2. 操作系统组件遵循单一职责原则（如驱动程序仅负责硬件接口与系统队列间的转换） 3. 虚拟化组件负责多路复用控制及虚拟/IO地址转换 4. 信息仅通过队列或发布的信息页进行必要共享 5. 采用静态系统架构，不支持硬件自适应或运行时组件加载（但允许同类型组件替换以实现策略调整或虚拟机重启）

项目目前需要更多功能组件的开发支持，欢迎开发者通过提交Pull请求参与贡献，具体贡献方式详见参与指南。

以下是评论内容的总结：

1. 关于命名来源：

• 认为系统可能以UNIX专家John Lions命名
• "Presumably named after Associate Professor John Lions" (cjs_ac)
• 引用其著作《A Commentary on the UNIX Operating System》作为依据

2. 技术比较询问：

• 询问与Genode OS的比较
• "I'm a huge fan of Genode...how they compare?" (spencerflem)

3. 功能性质疑：

• 质疑系统的实际用途和功能
• "What is the purpose of this OS? Can it mint Bitcoin?" (hulitu)
• 列举多项具体功能需求（数据库接口、流体模拟等）

4. 最新进展：

• 提到系统新增了防火墙功能
• "includes a router/firewall scenario" (snvzz)
• 引用seL4性能优于Linux的案例
• "shows seL4 massively outperforming Linux" (snvzz)

5. 语言争议：

• 对使用C语言而非Rust表示不满
• "Oh no, it's written in C and not Rust" (gethly)

6. 命名调侃：

• 戏谑地提到与苹果系统命名冲突
• "Mountain Lion is calling and wants its name back" (amelius)