Find a file
2023-12-08 23:51:12 +08:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
config Add cosmic-icons and intel-one-mono to jeremy config 2023-11-15 16:11:12 -07:00
cookbook@14c5db985f Update cookbook 2023-11-15 15:56:35 -07:00
docker Remove all references to xargo 2023-02-21 11:53:37 -07:00
installer@c5335d4aae Update submodules 2023-11-15 10:28:36 -07:00
mk add command to support qemu-arm64 and qemu-raspi3b 2023-12-08 23:51:12 +08:00
podman Add libfuse3-dev to podman container build 2023-09-01 13:11:36 -04:00
redoxfs@4048f541a0 Update submodules 2023-10-09 13:37:17 -06:00
relibc@84de1e8234 Update submodules 2023-11-15 10:28:36 -07:00
rust@e9ed31b054 Update rust 2023-09-07 21:10:32 -06:00
scripts Use filesystem image instead of harddrive image for dual boot script 2023-09-10 20:56:54 -06:00
.gitignore enable build from mixed source/binary packages 2023-03-09 23:30:33 -08:00
.gitlab-ci.yml Disable the wget progress bar in CI 2023-11-10 18:00:18 +00:00
.gitmodules Update rust to nightly-2023-09-07 2023-09-07 20:13:54 -06:00
bootstrap.sh Add dos2unix to ubuntu bootstrap 2023-09-11 09:28:25 -06:00
build.sh update Usage to correct img location 2022-11-12 11:22:48 -08:00
CONTRIBUTING.md Quote the development tips on CONTRIBUTING 2023-08-21 19:35:56 +00:00
HARDWARE.md Merge branch 'ybalrid-hardware' into 'master' 2023-11-15 17:23:22 +00:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Fix kernel sym path in make gdb. 2023-11-14 17:30:11 +01:00
podman_bootstrap.sh Detect installed fusermount or fusermount3 binary 2023-03-21 03:02:07 +00:00
README.md Improve/cleanup the README 2023-10-29 18:32:57 +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.