LiberSystem – 用 Rust 编写的基于能力（capability）的微内核操作系统
LiberSystem 是一个使用 Rust 语言开发的、基于能力（capability）安全模型的微内核操作系统。其设计聚焦于安全性与可靠性，利用 Rust 的内存安全特性和能力导向的架构，实现进程间高效隔离与通信，适用于对系统安全有高要求的场景。
背景速读
- LiberSystem 是一个用 Rust 语言编写的、基于 capability（能力/权能）安全模型的微内核操作系统。
- “微内核”意味着内核极小，仅处理最基础的任务（如进程间通信、内存管理），文件系统、驱动等传统内核功能都放在用户态运行。
- “Capability-based”是 Mac OS X 前身（如 Mach 微内核）及学术系统（如 seL4）采用的安全模型：进程必须持有明确授予的“权能令牌”才能访问某资源，不存在 root 或全权用户的概念，安全性由硬件和内核强制保障。
- 选择 Rust 语言，是因为 Rust 的所有权系统和内存安全保证能在编译期消除常见漏洞（如缓冲区溢出、空指针解引用），对操作系统内核开发尤为重要。
- 当前主流桌面/服务器操作系统（Linux、Windows、macOS）多是单体宏内核，LiberSystem 这类实验性项目旨在探索更安全、更可靠的计算环境，并借鉴了 seL4 等已验证的微内核设计思路。