Find a file
bjorn3 ffd64a8703 Use sparse allocation of extra.img on Linux too
fallocate immediately allocates the full size of the file, even though
it likely won't end up being used.
2023-12-17 12:44:32 +01:00
.gitlab Reorganize description templates for GitLab 2018-09-05 21:51:33 +02:00
config ci: disable jansson 2023-12-16 09:54:47 -07:00
cookbook@bc9ee36d5c Update cookbook 2023-12-13 15:54:31 -07:00
docker Add just to the build dependencies 2023-11-23 21:40:00 +00:00
installer@38f6aa70bd Update cookbook and installer 2023-12-13 14:41:50 -07:00
mk Use sparse allocation of extra.img on Linux too 2023-12-17 12:44:32 +01:00
podman Add missing debian packages 2023-12-11 16:32:24 +00:00
redoxfs@86c12ebd7c Update installer and redoxfs 2023-12-12 13:49:11 -07:00
relibc@0f9aca12dd Update submodules 2023-12-12 09:21:28 -07:00
rust@e9ed31b054 Update rust 2023-09-07 21:10:32 -06:00
scripts Replace rebuild-recipe with make cr.recipe and make ucr.recipe 2023-12-13 14:41:38 -07:00
.gitignore enable build from mixed source/binary packages 2023-03-09 23:30:33 -08:00
.gitlab-ci.yml Add just to the build dependencies 2023-11-23 21:40:00 +00:00
.gitmodules Update rust to nightly-2023-09-07 2023-09-07 20:13:54 -06:00
bootstrap.sh Add checks and install cbindgen in bootstrap.sh. 2023-12-14 15:32:54 +01:00
build.sh update Usage to correct img location 2022-11-12 11:22:48 -08:00
CONTRIBUTING.md Add new sections and fix a hyperlink 2023-12-07 20:01:51 +00:00
HARDWARE.md aarch64: support building Redox for different motherboard. 2023-12-14 12:29:20 +00:00
LICENSE Add license 2016-08-13 16:28:33 -06:00
Makefile Fix kernel symbols path 2023-12-12 08:05:51 -07:00
podman_bootstrap.sh Improve errors in bootstrap scripts 2023-12-13 20:51:55 +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.