Redox: A Rust Operating System
Go to file
Jeremy Soller a3f3edc0ef Merge branch 'add-dependency-hnefatafl' into 'master'
Add icons dependency to hnefatafl.

See merge request redox-os/redox!1773
2025-12-16 15:14:04 -07:00
.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 and improve LLVM and Rust compilation 2025-12-07 20:54:23 +07:00
config Enable acid on all arch; x11, perl5, webkit, servo on x86_64 2025-12-16 15:31:18 +07:00
mk Fix CI by avoiding FUSE 2025-12-16 02:49:19 +07:00
podman Skip binstall and directly download binaries 2025-12-12 16:32:14 +07:00
recipes Add icons dependency to hnefatafl. 2025-12-16 16:55:51 -05:00
rust@3ffb13de6f Update rust submodule 2025-11-21 10:46:37 -07:00
scripts Added mount script for RedoxFS partitions in dual-boot 2025-12-07 19:14:05 +05:30
src Add todo for handle_nonstop_fail 2025-12-16 14:48:03 +07:00
.gitignore Merge remote-tracking branch 'cookbook/master' into merge-cookbook 2025-11-20 13:45:39 -07:00
.gitlab-ci.yml Skip CI artifact 2025-12-16 05:42:07 +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 Update cargo lock 2025-12-15 00:56:37 +07:00
Cargo.toml Implement optional packages 2025-12-03 15:15:55 +07:00
CONTRIBUTING.md Remove outdated information from CONTRIBUTING and README 2025-12-02 10:56:14 -03:00
flake.lock Update flake nix 2025-11-25 06:27:53 -08:00
flake.nix Update flake nix 2025-11-25 06:27:53 -08:00
HARDWARE.md Small improvement to HARDWARE.md 2025-11-22 15:24:10 -03:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Merge branch 'makefile-fix' into 'master' 2025-11-23 06:36:22 -07: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 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 Update rust toolchain 2025-10-04 07:54:25 -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