Redox: A Rust Operating System
Go to file
2026-10-27 19:33:39 +05:30
.cargo Fix fstools requiring gcc on host 2025-11-22 22:52:48 -08:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
bin Fix 4 recipes compilation 2026-07-27 16:03:27 +02:00
config Move relibc-tests sources to /usr/share 2026-09-27 19:35:11 +02:00
mk prefix: Move clang env to compiler option 2026-09-13 23:53:37 +07:00
podman Update just and sccache 2026-05-07 21:20:25 +07:00
recipes Add onetbb recipe 2026-10-27 19:33:39 +05:30
scripts Add a script to create patches of tar 2026-09-11 01:57:45 +07:00
src Fix undefined REDOXER_RUSTFLAGS_KEY in fetch script 2026-09-29 12:45:44 +07:00
.gitignore Implement change-rule command 2026-05-06 02:35:17 +07:00
.gitlab-ci.yml ci: Shorten img check 2026-08-20 07:27:03 +07:00
build.sh Move ARCH correction up 2025-11-16 14:34:57 +00:00
Cargo.lock Update redoxer 2026-09-29 12:39:27 +07:00
Cargo.toml Move repo to subdir 2026-07-28 18:11:26 +07:00
CONTRIBUTING.md Fix typo in issue filter URL separator in CONTRIBUTING.md 2026-09-03 18:25:59 -03:00
flake.lock nix: Drop flake-parts 2026-07-24 09:00:22 +00:00
flake.nix nix: native: Downgrade file 2026-08-02 16:44:58 +07:00
HARDWARE.md Add initial testing for HP Envy laptop h1055cl 2026-09-10 17:40:15 -06:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Add make targets for comparing acid metrics. 2026-09-13 15:02:22 +02:00
native_bootstrap.sh Drop travis status check 2026-07-21 15:32:49 +07:00
podman_bootstrap.sh Fix ubuntu install cmd for podman_bootstrap 2026-07-03 18:32:38 +02:00
README.md Remove outdated information from CONTRIBUTING and README 2025-12-02 10:56:14 -03:00
redox.ipxe Use http to download redox-live.iso during netbooting 2025-06-24 20:53:40 +02:00
rust-toolchain.toml Support nightly 2026-05-24 2026-05-26 07:19:36 -06:00
TRADEMARK.md Redox OS Trademark Policy 2025-12-03 14:54:53 -07: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 and drivers) @jackpot51
RedoxFS (default filesystem) @jackpot51
relibc (C POSIX library written in Rust) @jackpot51
Ion (defauilt shell) @jackpot51
Termion (terminal library) @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