RedoxOS 是用 Rust 开发的微内核操作系统，旨在提供更安全稳定的体验。支持 x86-64、i686 和 Arm 架构，与 POSIX 兼容，可运行 Linux/BSD 软件。由 Jeremy Soller 创立，采用 MIT 许可证。目前仍在开发中，未来将支持更多硬件和功能。