Skip to content

redox-os/redox

Repository files navigation

Redox

This repository is the Build System for Redox OS. Redox is under active development by a vibrant community. Key links:

Redox is an operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox uses a microkernel architecture, and 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 (file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. Redox uses the COSMIC desktop apps, and provides source code compatibility with many Rust, Linux and BSD programs.

Downloads MIT licensed

More Links

Ecosystem

Some of the key repositories on the Redox GitLab:

Essential Repos Maintainer
Kernel @jackpot51
RedoxFS (default filesystem) @jackpot51
Drivers @jackpot51
Orbital (windowing and compositing system) @jackpot51
pkgutils (current package manager) @jackpot51
relibc (C Library in Rust) @jackpot51
netstack (protocol stack) @jackpot51
Ion (shell) @jackpot51
Termion (terminal library) @jackpot51
This repo - the root of the Build System @jackpot51
cookbook (Build System for components) @jackpot51 @hatred_45
Redoxer (Build/Test for Redox compatibility verification) @jackpot51
The Redox Book @hatred_45

What it looks like

See Redox in Action for photos and videos.

Redox

Redox

Redox

Redox

Redox

Redox