Find a file
2024-04-22 15:30:07 -06:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
config Copy aarch64 desktop-minimal config to aarch64 desktop config 2024-04-12 09:34:45 -06:00
cookbook@187ced0a85 Update cookbook and installer 2024-04-22 15:30:07 -06:00
docker Add just to the build dependencies 2023-11-23 21:40:00 +00:00
installer@69d4db511a Update cookbook and installer 2024-04-22 15:30:07 -06:00
mk Make QEMU smp and mem options configurable 2024-04-04 13:08:10 +00:00
podman Use fusermount3 everywhere 2024-02-10 13:19:27 +00:00
redoxfs@dcba5d8018 Update installer and redoxfs 2024-04-01 13:34:50 -06:00
relibc@373c2e30a2 Update cookbook and relibc 2024-04-08 09:45:00 -06:00
rust@e9ed31b054 Update rust 2023-09-07 21:10:32 -06:00
scripts Add pkg-size script 2024-03-03 02:31:37 -08:00
.gitignore enable build from mixed source/binary packages 2023-03-09 23:30:33 -08:00
.gitlab-ci.yml Use fusermount3 everywhere 2024-02-10 13:19:27 +00:00
.gitmodules Don't checkout rust submodule by default 2024-01-10 15:19:06 +01:00
bootstrap.sh Add zstd 2024-02-10 21:42:42 +00:00
build.sh update Usage to correct img location 2022-11-12 11:22:48 -08:00
CONTRIBUTING.md Add the build system download and setup instructions on CONTRIBUTING 2024-04-03 18:33:26 +00:00
HARDWARE.md add hardware status HP EliteBook 2570p 2024-04-07 14:28:56 +02:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Use gdb-multiarch for make gdb to support debugging an arm vm on x86 and vice versa 2024-03-17 14:28:38 +01:00
podman_bootstrap.sh Improve errors in bootstrap scripts 2023-12-13 20:51:55 +00:00
README.md Fix Developer FAQ Link 2024-01-21 03:46:48 +00:00
rust-toolchain.toml Update rust to nightly-2023-09-07 2023-09-07 20:13:54 -06:00

Redox

Redox is an operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox, following the microkernel design, 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 (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology.

Downloads MIT licensed

Guide

This is the main repository of the Redox GitLab where the build system files are stored, this README is used to guide new developers.

You can find the most important pages below:

Ecosystem

These are the most important repositories available on the Redox GitLab:

Name (lexicographic order) Maintainer
acid (kernel integration tests) @jackpot51
binutils @jackpot51
cookbook @jackpot51 @hatred_45 @ids1024
coreutils @jackpot51
extrautils @jackpot51
games @fabiao
Ion (shell) @jackpot51
ipcd @jackpot51
kernel @jackpot51
libextra @jackpot51
libpager @jackpot51
netstack @jackpot51
netutils @jackpot51
orbclient (Orbital client) @jackpot51 @FloVanGH
orbdata @jackpot51
orbgame (Orbital 2D game engine) @FloVanGH
Orbital (windowing and compositing system) @jackpot51
orbtk (Orbital toolkit) @FloVanGH
orbutils (Orbital utilities) @jackpot51
pkgutils (current package manager) @jackpot51
ralloc @jackpot51
RANSID (Rust ANSI driver) @jackpot51
redoxfs (default filesystem) @jackpot51
relibc (C Library in Rust) @jackpot51
small (stack String and other collections) @jackpot51
syscall @jackpot51
Sodium (Vim-inspired text editor) @jackpot51
The Redox book @hatred_45
userutils @jackpot51

What it looks like

Redox Redox Redox Redox Redox Redox

See Redox in Action for photos and videos.