Skip to content

redox-os/redox

Repository files navigation

Redox

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

Guide

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:

Ecosystem

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.