Need help with redox?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

13.5K Stars 863 Forks MIT License 2.5K Commits 183 Opened issues


Mirror of

Services available


Need anything else?

Contributors list


Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.

Redox is not just a kernel, it's 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. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology. See this list for overview of the ecosystem.

The website can be found at

Please make sure you use the latest nightly of

before building (for more troubleshooting, see "Help! Redox won't compile!").

Travis Build Status Downloads MIT licensed Rust Version


What it looks like

Redox Redox Redox

Redox Redox Redox


The ecosystem and software Redox OS provides is listed below.

| Name (lexicographic order) | Maintainer |--------------------------------------------------------------------------------------|--------------------------- | acid (kernel integration tests) | @jackpot51 @NilSet | binutils | vacant | cookbook | @jackpot51 @ids1024 @sajattack | coreutils | vacant | extrautils | vacant | games | @enrico (AKA @HenryTheCat) @fabiao | Ion (shell) | @mmstick @stratact | ipcd | @jD91mZM2 | kernel | @jackpot51 | libextra | vacant | libpager | vacant | netstack | @batonius @dlrobertson | netutils | @jackpot51 | orbclient (Orbital client) | @jackpot51 @FloVanGH | orbdata | @jackpot51 | orbgame (Orbital 2D game engine) | @FloVanGH | Orbital (windowing and compositing system) | @jackpot51 | orbtk (Orbital toolkit) | @FloVanGH | orbutils (Orbital utilities) | @jackpot51 | pkgutils (current package manager) | @jackpot51 | ralloc | @Tommoa @NilSet | RANSID (Rust ANSI driver) | @jackpot51 | redoxfs (old filesystem) | @jackpot51 | relibc (C Library in Rust) | @jD91mZM2 @sajattack @Tommoa @stratact | small (stack String and other collections) | @Tommoa | syscall | @jackpot51 | Sodium (Vim-inspired text editor) | vacant | TFS ((ticki) The File System) | @Tommoa | The Redox book | vacant | userutils | @jackpot51

Help! Redox won't compile!

Sometimes things go wrong when compiling. Try the following before opening an issue:

  1. Run
    rustup update
  2. Run
    make clean pull
  3. Make sure you have the latest version of Rust nightly! ( is recommended for managing Rust versions. If you already have it, run
  4. Update GNU Make, NASM and QEMU/VirtualBox.
  5. Pull the upstream master branch (
    git remote add upstream [email protected]:redox-os/redox.git; git pull upstream master
  6. Update submodules (
    git submodule update --recursive --init

and then rebuild!

Contributing to Redox

If you're interested in this project, and you'd like to help us out, here is a list of ways you can do just that.

Cloning, Building and Running

Redox is big, even compressed. Downloading the full history may take a lot of bandwidth, and can even be costly on some data plans. Clone at your own risk!

Quick Setup

$ cd path/to/your/projects/folder/

Run bootstrap setup

$ curl -sf -o && bash -e

Change to project directory

$ cd redox

Build Redox

$ make all

Launch using QEMU

$ make qemu

Launch using QEMU without using KVM (Kernel-based Virtual Machine). Try if QEMU gives an error.

$ make qemu kvm=no


To use QEMU with KVM (Kernel-based Virtual Machine), which is faster than without KVM, you need a CPU with Intel® Virtualization Technology (Intel® VT) or AMD Virtualization™ (AMD-V™) support. Most systems have this disabled by default, so you may need to reboot, go into the BIOS, and enable it.

Manual Setup

To manually clone, build and run Redox using a Unix-based host, run the following commands (with exceptions, be sure to read the comments): ```bash $ cd path/to/your/projects/folder/


$ git clone --origin upstream --recursive


$ git clone [email protected]:redox-os/redox.git --origin upstream --recursive

$ cd redox/

Install/update dependencies

$ ./ -d


$ curl -sSf | sh $ source $HOME/.cargo/env

Install the sysroot manager Xargo and cargo-config

$ cargo install xargo cargo-config

For successive builds start here. If this is your first build, just continue

Update git submodules

$ git submodule update --recursive --init

Build Redox

$ make all

Launch using QEMU

$ make qemu

Launch using QEMU without using KVM (Kernel-based Virtual Machine). Try if QEMU gives an error.

$ make qemu kvm=no

Launch using QEMU without using KVM (Kernel-based Virtual Machine) nor Graphics

make qemu kvm=no vga=no ```

Setup using Docker

We also provide docker image. After cloning this repository, please follow README under the


Updating the codebase using the Makefile

To update the codebase run:

make pull; make fetch

make pull
pulls and updates the submodules, and
make fetch
updates the sources for cookbook recipes.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.