redox-os.org

What It Is

Redox OS is a complete Unix-like microkernel operating system written in Rust. The project began in 2015, with the goal of providing an alternative to Linux/BSD focused on security, reliability, and correctness. It is not merely a kernel experiment, but a full OS project that includes a kernel, drivers, system services, a file system, desktop variants, package management, and an ecosystem for ported applications.

Core Capabilities

Redox’s main selling points are its microkernel architecture and Rust: drivers and system services run in user space as much as possible, reducing the kernel attack surface and improving fault isolation. Its design is inspired by Plan 9, Minix, seL4, BSD, and Linux. It offers Schemes, a kernel and drivers written in Rust, the RedoxFS file system, partial POSIX compatibility, Unix Domain Sockets, and support for signals and threads. On the hardware side, it supports Intel/AMD, ARM, and RISC-V, with storage support for NVMe, SATA, IDE, and USB, as well as QEMU and VirtualBox. For GUI support, it already covers X11, GTK3, Iced, Slint, egui, SDL, Mesa3D, and more, with ports such as NetSurf, ffplay, games, and demo programs already available.

Pricing and Open Source

The project primarily uses the MIT License, and there does not appear to be any commercial subscription or paid version. Its funding sources include Donorbox, Patreon, Bitcoin, Ethereum, merchandise, and sponsoring organizations, making it a typical community-driven open-source project.

Pros and Cons

The advantages are a clear technical direction, with Rust plus a microkernel providing a strong security narrative. Documentation entry points are extensive, including the Book, FAQ, build guide, developer FAQ, RFCs, driver documentation, and GitLab. The project’s goals are also comprehensive, covering desktop, server, minimal, development, and demo variants. The drawbacks are equally clear: the official FAQ states that it is still in the alpha stage and not suitable for daily use. Hardware, driver, application, and POSIX compatibility remain limited, and many important capabilities—such as Wayland, GTK4, Qt, enhanced capability-based security, and a self-hosting OS—are still on the roadmap.

Who It’s For

Redox is better suited to Rust systems programming developers, OS/kernel researchers, engineers working on secure systems, open-source contributors, and those who want to test a new microkernel architecture. If you need a stable production environment, a primary desktop OS, or a mature server OS, Linux or BSD should still be the first choice for now.

Access in China

The crawled text does not provide information about availability from mainland China. The project uses a self-hosted GitLab and Matrix, so actual accessibility needs to be tested directly; therefore, its status is unknown.