redox

Redox OS 是一个基于 Rust 编写的开源微内核操作系统，旨在提供安全、可靠且符合 POSIX 标准的完整系统环境。其核心采用微内核架构，包含自研内核、RedoxFS 文件系统、relibc POSIX 兼容库及 COSMIC 桌面环境，支持虚拟机与真实硬件部署。项目强调内存安全与形式化验证思想（受 seL4、MINIX、Plan 9 等启发），适用于操作系统教学、安全关键系统研究、Rust 系统编程实践及轻量级嵌入式/沙箱环境开发。