|Written in||Rust, assembly|
|Source model||Free software|
|Initial release||20 April 2015|
|Latest preview||0.8.0 / 24 November 2022|
|Marketing target||Desktop, workstation, server|
|Platforms||x86-64; ARM64 in development|
Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance. Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. It is similar to Linux and BSD, but is written in a memory-safe language. It is free and open-source software distributed under an MIT License.
Redox gets its name from the reduction-oxidation reactions in chemistry; one redox reaction is the corrosion of iron, also called rust.
The Redox operating system is designed to be secure. This is reflected in two design decisions:
Redox provides packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional operating system. Redox relies on an ecosystem of software written in Rust by members of the project.
Redox supports command-line interface (CLI) programs, including:
Redox supports graphical user interface (GUI) programs, including:
Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub. As of July 2021, the Redox repository had a total of 79 contributors.