Redox

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.