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 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; 8 years ago (2015-04-20)
Latest preview0.8.0 / 24 November 2022; 14 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 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.[7] As of July 2021, the Redox repository had a total of 79 contributors.[8]


  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. ^ Soller, Jeremy (jackpot51) (20 April 2015). "Initial commit of Rustboot-based OS". GitHub. GitHub, Inc. Retrieved 17 January 2017.((cite web)): CS1 maint: numeric names: authors list (link)
  8. ^ "Redox Repository". GitHub. Retrieved 2016-03-26.