Redox OS - A system written in Rust - Installation and Concepts

  4 mins read  

Redox OS - A system written in Rust - Installation and Concepts

Redox is a microkernel operating system similar to Unix written in the Rust programming language, which has a strong focus on security, stability and high performance.

Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9 and BSD. It is similar to GNU and BSD, but it is written in Rust. It is free and open source software distributed under an MIT license.

Redox was created by Jeremy Soller and was first published on April 20, 2015 on GitHub.


Redox depends on a software ecosystem written in Rust by members of the project.

  • Redox kernel - largely derived from the concept of microkernels, with strong 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 standard shell
  • pkgutils - package manager
  • Orbital window system - monitor and window manager, configure the orbital: schema, manage the display and handle requests for window creation, redesign and event search
  • relibc - standard C library

Command line applications

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

  • NetSurf - a lightweight browser that uses its own layout engine
  • Calculator - a software calculator that provides functions similar to the Windows Calculator program
  • Editor - simple text editor, similar to Microsoft notepad
  • File browser - a file manager that displays icons, names, sizes and details of files; uses the launcher command to open files when they are clicked
  • Image viewer - image viewer for flat file types
  • Pixelcannon - 3D renderer, can be used to compare the Orbital desktop
  • Orbterm - ANSI terminal emulator

Official internet addresses


There are 2 ways to install Redox OS:

  • Compiling the source code, for this procedure see this link and this link also
  • Or by downloading the binary

In both cases you can test the Redox OS:

  • On a physical machine Although it can work, the developers themselves still do not recommend it, because Redox is not yet ready for it

  • Or in a virtual machine, in this case, QEMU, which is exactly what we are going to do here.

Downloading the Redox OS

First we will download the compressed file in which there is the binary to run on our machine, there are 4 options for download, among them:

  • redox_0.6.0_harddrive-efi.bin.gz - As the name implies, it has EFI support and is not a LiveDisk
  • redox_0.6.0_harddrive.bin.gz - It is not LiveDisk and does not have EFI support
  • redox_0.6.0_livedisk-efi.iso.gz - It is a LiveDisk with EFI support
  • redox_0.6.0_livedisk.iso.gz - A LiveDisk without EFI support.

Choose what you think is most convenient for you, for this video I chose the second option: redox_0.6.0_harddrive.bin.gz - It is not LiveDisk and does not have EFI support

As this is the best way to test, I believe. You can download it directly through the browser through this link or run this command:


After that just extract the .gz:

  • The -k option is to keep the original file
gunzip -k redox_0.6.0_harddrive.bin.gz

Now let’s rename it to use a ready-made command offered by the Redox OS documentation:

mv redox_0.6.0_harddrive.bin harddrive.bin 

All set, now let’s run Redox OS!

Testing the Redox OS

If you want to watch a video featuring all the resources provided in this article, watch the video below:

The video is in Brazilian Portuguese, but you can use subtitles and translate into your language.

Add our feed: to: