Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.
Redox is not just a kernel, it's a full-featured Operating System, providing packages (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.
The website can be found at https://www.redox-os.org. For hardware compatibility, see HARDWARE.md.
What it looks like
See Redox in Action.
Getting Started
Please read the Getting Started Guide in the Redox Book.
Trying Out Redox
You can try out the Redox download in an emulator, or boot from a USB. Please see the Getting Started Guide.
Building Redox
The Redox build system is unique and complex, so you are best to follow the practices in the book. Please see the Getting Started Guide.
Getting Help
Please join us on Redox Chat for any concerns. You can post your questions or issues in Redox Support room.
Contributing
If you're interested in this project, and you'd like to help us out, have a look at CONTRIBUTING.
Ecosystem
The ecosystem and software Redox OS provides is listed below.
| 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 |