Redox 是一个用编程语言 Rust 编写的类似 Unix 的微内核操作系统，它的重点是安全、稳定和性能。Redox 的灵感来自先前的内核和操作系统，如 SeL4、MINIX、Plan 9 和 BSD。它与 GNU 和 BSD 类似，但用一种内存安全的语言编写，是在 MIT 许可下发布的开源软件。
目前 Redox OS 0.8.0 发布了，此版本添加了 i686 支持、启用了音频和多显示器支持等功能，且简化了引导和安装基础结构，主要变化如下：
- 添加了对 i686（奔腾 II 及更高版本的 32 位 x86）的支持，且可以在真实硬件上运行。
- 改进了对 aarch64（64 位 ARM）的支持，但真实硬件还不能工作。
- 如果固件提供帧缓冲区信息，则支持多个显示器
- 现在普遍支持音频
- BIOS 和 EFI 映像已合并，一个安装可以在另一个上启动。
- clone 和 exec 系统调用已移至用户空间。
- 使用redox-daemon crate 来简化守护进程的设置
- 更新大多数存储库上的 cargo lock 文件
当前支持的硬件
Redox OS 通常支持以下硬件：
- 处理器
- 支持任何 x86_64 CPU
- 支持 Pentium II 及更高版本的 i686 CPU，但支持不如 x86_64 支持完整
- 声音
- 44100 Hz 的 16 位样本支持音频输出
- 支持 AC'97 芯片组（通过 ac97d）
- 支持英特尔高清音频芯片组（通过 ihdad）
- 显示
- 将支持任何支持 VESA BIOS 扩展的 BIOS 或支持 GOP 的 UEFI 系统。多显示器等高级功能仅适用于固件为每个显示器分配 GOP 实例的 UEFI 系统
- 以太网
- 支持英特尔千兆以太网（通过 e1000d）
- 支持 Realtek RTL8168（通过 rtl8168d）
- 有一个 Intel 10 Gigabit Ethernet (via ixgbed) 驱动程序，无法测试但可能工作
- 输入
- 支持 PS/2 键盘、鼠标和触摸板。笔记本电脑的键盘一般使用PS/2，触控板大多使用PS/2
- 硬盘
- 支持 AHCI (SATA)（通过 ahcid）
- 支持 IDE (PATA)（通过 ided）
- 支持 NVMe（通过 nvmed）
此版本的 Redox OS 通常不支持 Wi-Fi、USB 和上面未列出的任何其他硬件。
更新公告：https://www.redox-os.org/news/release-0.8.0/