No description
  • Rust 59.7%
  • Shell 16%
  • Makefile 11.6%
  • C 7.1%
  • HTML 2.5%
  • Other 3%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2026-08-21 22:29:29 -03: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 4 recipes compilation 2026-07-27 16:03:27 +02:00
config Some filesystem config and recipe improvements 2026-08-13 14:26:21 -03:00
mk Merge branch 'wasip1-rebuild' into 'master' 2026-08-19 07:13:11 -06:00
podman Update just and sccache 2026-05-07 21:20:25 +07:00
recipes Add and improve more recipes 2026-08-21 20:49:11 -03:00
scripts Merge branch 'fix-print-recipe' into 'master' 2026-08-10 23:58:12 -03:00
src Apply cargo fix and fmt 2026-08-18 23:17:36 +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 repo: Export as CSV 2026-07-29 09:29:16 +07:00
Cargo.toml Move repo to subdir 2026-07-28 18:11:26 +07:00
CONTRIBUTING.md Add items and fix a typo in CONTRIBUTING.md 2026-08-21 22:29:29 -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 Improve the hardware compatibility status explanation in HARDWARE.md 2026-05-26 13:56:52 -03:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Add Makefile target to rebuild cookbook 2026-07-20 08:33:18 +07: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