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.
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:
- Book
- Contribute
- Hardware Compatibility
- Trying Out Redox
- Building Redox
- Build System Documentation
- Developer FAQ
- Chat/Discussions/Help
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 |
See Redox in Action for photos and videos.