This repository has been archived on 2024-03-14. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
Jeremy Soller f1f98b4378
Merge branch 'master' of
2024-03-13 08:51:12 -06:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
config Remove /etc/net/mac 2024-02-28 09:40:46 +01:00
cookbook@d0378b5c48 Update submodules 2024-03-13 08:51:07 -06:00
docker Add `just` to the build dependencies 2023-11-23 21:40:00 +00:00
installer@1c30f4a3c1 Update submodules 2024-02-15 16:08:23 -07:00
mk Use REPO_NONSTOP in 2024-01-28 16:17:07 +00:00
podman Use fusermount3 everywhere 2024-02-10 13:19:27 +00:00
redoxfs@14a07dc268 Update submodules 2024-03-13 08:51:07 -06:00
relibc@65589f9c93 Update submodules 2024-03-13 08:51:07 -06:00
rust@e9ed31b054 Update rust 2023-09-07 21:10:32 -06:00
scripts Add pkg-size script 2024-03-03 02:31:37 -08:00
.gitignore enable build from mixed source/binary packages 2023-03-09 23:30:33 -08:00
.gitlab-ci.yml Use fusermount3 everywhere 2024-02-10 13:19:27 +00:00
.gitmodules Don't checkout rust submodule by default 2024-01-10 15:19:06 +01:00 Update goals and improve the guide 2024-02-12 16:47:27 +00:00 aarch64: support building Redox for different motherboard. 2023-12-14 12:29:20 +00:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Do not recurse submodules in git pull 2024-01-10 14:09:06 -07:00 Fix Developer FAQ Link 2024-01-21 03:46:48 +00:00 Add zstd 2024-02-10 21:42:42 +00:00 update Usage to correct img location 2022-11-12 11:22:48 -08:00 Improve errors in bootstrap scripts 2023-12-13 20:51:55 +00:00
rust-toolchain.toml Update rust to nightly-2023-09-07 2023-09-07 20:13:54 -06:00


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

Redox is not just a kernel, it's a full-featured operating system, providing components (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.

Downloads MIT licensed


This is the main repository of the Redox GitLab where the build system files are stored, this README is used to guide new developers.

You can find the most important pages below:


These are the most important repositories available on the Redox GitLab:

Name (lexicographic order) Maintainer
acid (kernel integration tests) @jackpot51
binutils @jackpot51
cookbook @jackpot51 @hatred_45 @ids1024
coreutils @jackpot51
extrautils @jackpot51
games @fabiao
Ion (shell) @jackpot51
ipcd @jackpot51
kernel @jackpot51
libextra @jackpot51
libpager @jackpot51
netstack @jackpot51
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 @jackpot51
RANSID (Rust ANSI driver) @jackpot51
redoxfs (default filesystem) @jackpot51
relibc (C Library in Rust) @jackpot51
small (stack String and other collections) @jackpot51
syscall @jackpot51
Sodium (Vim-inspired text editor) @jackpot51
The Redox book @hatred_45
userutils @jackpot51

What it looks like

Redox Redox Redox Redox Redox Redox

See Redox in Action for photos and videos.