redox

GitHub

Mirror of https://gitlab.redox-os.org/redox-os/redox

RAW Doc

Repository: redox-os/redox


Stars: 16234

README.md

<p align="center">
<img alt="Redox" width="346" src="https://gitlab.redox-os.org/redox-os/assets/raw/master/logos/redox/logo.png">
</p>

This repository is the Build System for Redox OS.

Redox is under active development by a vibrant community, you can see the key links below:

- The main website for Redox OS.
- The Redox Book and Build Instructions.
- Redox Chat and Support.
- Patreon, Donate and Merch.
- Scroll down for a list of key Redox components and their repositories.

Redox is an open-source operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox uses a microkernel architecture, and 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 (file system, display server, core utilities, etc.) that together make up a functional and convenient operating system. Redox uses the COSMIC desktop apps, and provides source code compatibility with many Rust, Linux and BSD programs.

![MIT licensed](./LICENSE)

- Book
- Contribute
- Hardware Compatibility
- Run Redox in a Virtual Machine or on Real Hardware
- Trying Out Redox
- Building Redox
- Build System Documentation
- Developer FAQ
- Chat/Discussions/Help

Ecosystem

Some of the key repositories on the Redox GitLab:

| Essential Repositories | Maintainer
|-------------------------------------------------------------------------------------------------------------|---------------------------
| Kernel | @jackpot51
| Base (essential system components and drivers) | @jackpot51
| RedoxFS (default filesystem) | @jackpot51
| relibc (C POSIX library written in Rust) | @jackpot51
| Ion (defauilt shell) | @jackpot51
| Termion (terminal library) | @jackpot51
| pkgutils (current package manager) | @jackpot51
| Orbital (display server and window manager) | @jackpot51
| This repo - the root of the Build System | @jackpot51 @hatred_45
| Redoxer (tool for easy Redox development on Linux) | @jackpot51
| The Redox Book | @jackpot51 @hatred_45
| Website | @jackpot51 @hatred_45

What it looks like

See Redox in Action for photos and videos.

<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/website/-/raw/master/static/img/screenshot/orbital-visual.png">
<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/website/-/raw/master/static/img/screenshot/cosmic-programs.png">
<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/website/-/raw/master/static/img/screenshot/cosmic-term-screenfetch.png">

<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/website/-/raw/master/static/img/screenshot/cosmic-edit-redox.png">
<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/website/-/raw/master/static/img/screenshot/image-viewer.png">
<img alt="Redox" height="150" src="https://gitlab.redox-os.org/redox-os/assets/raw/master/screenshots/Boot.png">