Redox: A Rust Operating System
Go to file
Jeremy Soller 5d28f73987 Merge branch 'binary-at-fetch' into 'master'
Move package binary download at fetch step

See merge request redox-os/redox!1703
2025-11-22 06:41:24 -07:00
.cargo Support recipe builds for Linux 2025-11-20 12:42:05 -07:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
bin Restore llvm-config (for mesa) 2025-11-21 12:22:46 -07:00
config Update config/llvm 2025-11-21 10:46:51 -07:00
mk Fix push and improve mount messages 2025-11-21 08:44:02 -08:00
podman Add libdbus-glib-1-dev-bin to podman and update cookbook 2025-11-15 11:12:27 -07:00
recipes Port of goaccess 2025-11-22 06:36:49 -07:00
rust@3ffb13de6f Update rust submodule 2025-11-21 10:46:37 -07:00
scripts Add script for checking for missing CI packages 2025-11-21 10:05:01 -07:00
src Merge branch 'binary-at-fetch' into 'master' 2025-11-22 06:41:24 -07:00
.gitignore Merge remote-tracking branch 'cookbook/master' into merge-cookbook 2025-11-20 13:45:39 -07:00
.gitlab-ci.yml Add CI from cookbook 2025-11-21 06:29:23 -07:00
.gitmodules Remove pkgar submodule 2025-11-20 15:42:46 -07:00
build.sh Move ARCH correction up 2025-11-16 14:34:57 +00:00
Cargo.lock Use expanded package toml and switch repo.toml to use blake3 hash 2025-11-22 04:25:22 -08:00
Cargo.toml Use expanded package toml and switch repo.toml to use blake3 hash 2025-11-22 04:25:22 -08:00
CONTRIBUTING.md Replace cookbook submodule 2025-11-20 13:54:40 -07:00
flake.lock Added shell for native build using Nix 2025-05-12 23:05:35 +00:00
flake.nix Added shell for native build using Nix 2025-05-12 23:05:35 +00:00
HARDWARE.md Edit HARDWARE.md to include test results from the Lenovo M83. 2025-11-12 20:41:43 -06:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Move make pull submodule sync to rust configure 2025-11-20 23:46:30 -08:00
native_bootstrap.sh Remove --recursive from bootstrap scripts 2025-11-20 23:50:58 -08:00
podman_bootstrap.sh Remove --recursive from bootstrap scripts 2025-11-20 23:50:58 -08:00
README.md Replace cookbook submodule 2025-11-20 13:54:40 -07:00
redox.ipxe Use http to download redox-live.iso during netbooting 2025-06-24 20:53:40 +02:00
rust-toolchain.toml Update rust toolchain 2025-10-04 07:54:25 -06:00

Redox

This repository is the Build System for Redox OS.

Redox is under active development by a vibrant community, you can see the key links below:

Redox is an open-source 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 server, 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.

MIT licensed

Ecosystem

Some of the key repositories on the Redox GitLab:

Essential Repositories Maintainer
Kernel @jackpot51
Base (essential system components) @jackpot51
RedoxFS (default filesystem) @jackpot51
Drivers @jackpot51
relibc (C POSIX library written in Rust) @jackpot51
Ion (defauilt shell) @jackpot51
Termion (terminal library) @jackpot51
netstack (network stack) @jackpot51
pkgutils (current package manager) @jackpot51
Orbital (display server and window manager) @jackpot51
This repo - the root of the Build System @jackpot51 @hatred_45
Redoxer (tool for easy Redox development on Linux) @jackpot51
The Redox Book @jackpot51 @hatred_45
Website @jackpot51 @hatred_45

What it looks like

See Redox in Action for photos and videos.

Redox Redox Redox Redox Redox Redox