Redox 是一种用 Rust 语言编写的操作系统，Rust 语言注重安全性、效率和高性能。Redox 采用微内核架构设计，旨在具备可靠性、安全性、易用性、正确性以及免费开源的特性。Redox 受到之前多个操作系统（如 seL4、MINIX、Plan 9、Linux 和 BSD）的启发。
Redox 并不仅仅是一个内核，而是一个功能完备的操作系统，提供了包括内存分配器、文件系统、显示管理器、核心工具等组件，这些组件共同构成一个功能完整且便捷的操作系统。你可以将其粗略地理解为 GNU 或 BSD 生态系统，但基于内存安全的语言和现代技术实现。