This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "Redox" operating system – news · newspapers · books · scholar · JSTOR (July 2019) (Learn how and when to remove this template message)
Redox logo 2015.svg
Redox running Orbital.png
Redox running Ion shell in Orbital windowing system
DeveloperJeremy Soller,
Redox Developers[1]
Written inRust, assembly
OS familyUnix-like
Working stateCurrent
Source modelFree software
Initial release20 April 2015; 7 years ago (2015-04-20)
Latest preview0.8.0 / 24 November 2022; 4 months ago (2022-11-24)
Marketing targetDesktop, workstation, server
Available inEnglish
Package managerpkgutils
Platformsx86-64; ARM64 in development[2]
Kernel typeMicrokernel
Influenced byPOSIX[3]
user interface
Command-line, Orbital

Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance.[4][5][6] 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.[7] 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.[4] This is reflected in two design decisions:

  1. Using the programming language Rust for implementation
  2. Using a microkernel design, similar to MINIX


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.

Command-line applications

Redox supports command-line interface (CLI) programs, including:

Graphical applications

Redox supports graphical user interface (GUI) programs, including:


Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub.[8] As of July 2021, the Redox repository had a total of 79 contributors.[9]


  1. ^ "Redox Contributors". GitLab. Retrieved 24 March 2019.
  2. ^ "Porting Redox to ARM (AArch64)". 6 August 2018.
  3. ^ "What is Redox?". Archived from the original on 24 May 2020. Retrieved 16 May 2020.
  4. ^ a b "Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS".
  5. ^ Weisinger, Dick (4 May 2016). "Operating Systems: Rust Redox – An Next-Generation Attempt to Plug Linux OS Gaps". Formtek. Formtek, Inc. Retrieved 17 January 2017.
  6. ^ . Yegulalp, Serdar (21 March 2016). "Rust's Redox OS could show Linux a few new tricks". InfoWorld. San Francisco: IDG Communications, Inc. Retrieved 17 January 2017.
  7. ^ "redox-os/redox". May 12, 2021 – via GitHub.
  8. ^ Soller, Jeremy (jackpot51) (20 April 2015). "Initial commit of Rustboot-based OS". GitHub. GitHub, Inc. Retrieved 17 January 2017.
  9. ^ "Redox Repository". GitHub. Retrieved 2016-03-26.