主要观点：seL4 是世界上最安全的操作系统内核，但并非完整的操作系统，微内核模式虽提供硬件安全复用机制，但缺少应用程序员期望的服务，导致采用者需自行开发，且需高水平专业知识设计高性能系统，常致设计不佳和放弃。UNSW 的可信系统团队决定构建 Lions OS，这是一个完整的基于 seL4 的操作系统，旨在满足网络物理、物联网和其他嵌入式系统开发者的需求，从 scratch 设计和实现，目标是高性能、高安全性和适应多种用例，还计划证明其关键组件的正确实现。
关键信息：作者为 Gernot Heiser，来自 UNSW 计算机科学与工程学院；Lions OS 以 John Lions 命名，开源；2024 年在 Everything Open 会议上介绍，视频链接为 https://youtu.be/uxoBW1bzYes。
重要细节：作者介绍构建 Lions OS 的原因及目标，提及要严格遵循 KISS 原则，还展示了初始结果，表明简单设计可实现优秀性能并能证明实现正确性。