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 makes up a functional and convenient operating system. You can loosly 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 https://www.redox-os.org.
Please make sure you use the latest nightly of rustc before building (for more troubleshooting, see "Help! Redox won't compile!").
-lightgrey.svg){kind=icon}
- What it looks like
- Ecosystem
- Help! Redox won't compile
- Contributing to Redox
- Cloning, Building and running
- Quick Setup
- Manual Setup
The ecosystem and software Redox OS provides is listed below.
Sometimes things go wrong when compiling. Try the following before opening an issue:
- Run
make clean. - Run
git clean -X -f -d. - Make sure you have the latest version of Rust nightly! (rustup.rs is recommended for managing Rust versions).
- Update GNU Make, NASM and QEMU/VirtualBox.
- Pull the upstream master branch (
git remote add upstream [email protected]:redox-os/redox.git; git pull upstream master). - Update submodules (
git submodule update --recursive --init).
and then rebuild!
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.
Redox is big (even compressed)! So cloning Redox takes a lot of bandwidth, and (depending on your data plan) can be costly, so clone at your own risk!
$ cd path/to/your/projects/folder/
# Run bootstrap setup
$ curl -sf https://raw.githubusercontent.com/redox-os/redox/master/bootstrap.sh -o bootstrap.sh && bash -e bootstrap.sh
# Build Redox
$ make all
# Launch using QEMU
$ make qemu
# Launch using QEMU without using KVM (Kernel Virtual Machine). Try if QEMU gives an error.
$ make qemu kvm=noTo 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 in the BIOS by default, so you may need to reboot and enable the feature in the BIOS.
To manually clone, build and run Redox using a Linux host, run the following commands (with exceptions, be sure to read the comments):
$ cd path/to/your/projects/folder/
# HTTPS
$ git clone https://github.com/redox-os/redox.git --origin upstream --recursive
# SSH
$ git clone [email protected]:redox-os/redox.git --origin upstream --recursive
$ cd redox/
# Install/update dependencies
$ bash bootstrap.sh -d
# Install rustup.rs
$ curl https://sh.rustup.rs -sSf | sh
# Set override toolchain to nightly build
$ rustup override set nightly
# 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 Virtual Machine). Try if QEMU gives an error.
$ make qemu kvm=no