Redox (operating system)

From Wikipedia, the free encyclopedia
  (Redirected from Redox OS)
Jump to navigation Jump to search
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 modelOpen-source
Initial release20 April 2015; 4 years ago (2015-04-20)
Latest preview0.5.0 / 24 March 2019; 27 days ago (2019-03-24)
Marketing targetDesktop, workstation, server
Available inEnglish
Package managerpkgutils
Kernel typeMicrokernel
Default user interfaceCommand-line, Orbital

Redox is a Unix-like microkernel operating system written in the programming language Rust, a language with a strong focus on safety, stability, and high performance.[2][3][4] 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 the GNU or BSD ecosystem, but in a memory-safe language and with modern technology.[vague][5] It is free and open-source software distributed under an MIT License.


The Redox operating system is designed to be highly secure, and this is reflected in several design decisions such as:


Redox is a full-featured operating system, providing packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. Redox relies on an ecosystem of software written in Rust by members of the project.

  • Redox kernel – largely derives from the concept of microkernels, with heavy inspiration from MINIX
  • Ralloc – memory allocator
  • TFS file system – inspired by the ZFS file system
  • Ion shell – the underlying library for shells and command execution in Redox, and the default shell
  • pkgutils – package manager
  • Orbital windowing system – display and window manager, sets up the Orbital: scheme, manages the display, and handles requests for window creation, redraws, and event polling
  • relibc – C standard library

Command-line applications[edit]

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

  • Sodium – vi-like editor that provides syntax highlighting
  • Rusthello – advanced Reversi AI; is highly concurrent, serving as proof of Redox's multithreading abilities; supports various AI strategies, such as brute forcing, minimax, local optimizations, and hybrid AIs

Graphical applications[edit]

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


Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub.[6] Since then, it has been developed actively, with contributions by over 40 developers.[7] On the second anniversary of Redox appearing on GitHub, version 0.2.0 was released.


  1. ^ "Redox Contributors". GitLab. Retrieved 24 March 2019.
  2. ^ "Redox – Your Next(Gen) Operating System".
  3. ^ 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.
  4. ^ 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.
  5. ^ "Redox: A Rust Operating System".
  6. ^ Soller, Jeremy (jackpot51) (20 April 2015). "Initial commit of Rustboot-based OS". GitHub. GitHub, Inc. Retrieved 17 January 2017.
  7. ^ "Redox Repository". GitHub. Retrieved 2016-03-26.

External links[edit]