https://github.com/redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
https://github.com/redox-os/redox
bsd freebsd gnu gnu-hurd linux microkernel minix open-source openbsd operating-system plan9 posix redox rust sel4
Last synced: 7 days ago
JSON representation
Mirror of https://gitlab.redox-os.org/redox-os/redox
- Host: GitHub
- URL: https://github.com/redox-os/redox
- Owner: redox-os
- License: mit
- Created: 2015-04-20T17:35:19.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2025-04-01T14:17:32.000Z (14 days ago)
- Last Synced: 2025-04-01T16:07:20.650Z (14 days ago)
- Topics: bsd, freebsd, gnu, gnu-hurd, linux, microkernel, minix, open-source, openbsd, operating-system, plan9, posix, redox, rust, sel4
- Language: Shell
- Homepage:
- Size: 8.23 MB
- Stars: 15,366
- Watchers: 602
- Forks: 932
- Open Issues: 183
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
- awesome-repositories - redox-os/redox - Mirror of https://gitlab.redox-os.org/redox-os/redox (Shell)
- awesome-starred - redox - Mirror of https://gitlab.redox-os.org/redox-os/redox (Makefile)
- StarryDivineSky - redox-os/redox
- stars - redox-os/redox - Mirror of https://gitlab.redox-os.org/redox-os/redox (Shell)
- awesome-starred - redox-os/redox - Mirror of https://gitlab.redox-os.org/redox-os/redox (rust)
README
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](https://www.redox-os.org).
- [The Redox Book](https://doc.redox-os.org/book/) and [Build Instructions](https://doc.redox-os.org/book/podman-build.html).
- [Redox Chat and Support](https://matrix.to/#/#redox-join:matrix.org).
- [Patreon](https://www.patreon.com/redox_os), [Donate](https://redox-os.org/donate/) and [Merch](https://redox-os.creator-spring.com/).
- Scroll down for a list of key Redox components and their repositories.
[Redox](https://www.redox-os.org) 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.
[](./LICENSE)
## More Links
- [Book](https://doc.redox-os.org/book/)
- [Contribute](CONTRIBUTING.md)
- [Hardware Compatibility](https://doc.redox-os.org/book/hardware-support.html)
- Run Redox in a [Virtual Machine](https://doc.redox-os.org/book/running-vm.html) or on [Real Hardware](https://doc.redox-os.org/book/real-hardware.html)
- [Trying Out Redox](https://doc.redox-os.org/book/trying-out-redox.html)
- [Building Redox](https://doc.redox-os.org/book/podman-build.html)
- [Build System Documentation](https://doc.redox-os.org/book/build-system-reference.html)
- [Developer FAQ](https://doc.redox-os.org/book/developer-faq.html)
- [Chat/Discussions/Help](https://doc.redox-os.org/book/chat.html)
## Ecosystem
Some of the key repositories on the Redox GitLab:
| Essential Repos | Maintainer
|--------------------------------------------------------------------------------------|---------------------------
| [Kernel](https://gitlab.redox-os.org/redox-os/kernel) | **@jackpot51**
| [RedoxFS (default filesystem)](https://gitlab.redox-os.org/redox-os/redoxfs) | **@jackpot51**
| [Drivers](https://gitlab.redox-os.org/redox-os/drivers) | **@jackpot51**
| [Orbital (display server and window manager)](https://gitlab.redox-os.org/redox-os/orbital) | **@jackpot51**
| [pkgutils (current package manager)](https://gitlab.redox-os.org/redox-os/pkgutils) | **@jackpot51**
| [relibc (C POSIX library written in Rust)](https://gitlab.redox-os.org/redox-os/relibc) | **@jackpot51**
| [netstack (network stack)](https://gitlab.redox-os.org/redox-os/netstack) | **@jackpot51**
| [Ion (defauilt shell)](https://gitlab.redox-os.org/redox-os/ion) | **@jackpot51**
| [Termion (terminal library)](https://gitlab.redox-os.org/redox-os/termion) | **@jackpot51**
| This repo - the root of the Build System | **@jackpot51**
| [cookbook (Build system for system components and programs)](https://gitlab.redox-os.org/redox-os/cookbook) | **@jackpot51** **@hatred_45**
| [Redoxer (Tool for Redox development testing)](https://gitlab.redox-os.org/redox-os/redoxer) | **@jackpot51**
| [The Redox Book](https://gitlab.redox-os.org/redox-os/book) | **@hatred_45**
## What it looks like
See [Redox in Action](https://www.redox-os.org/screens/) for photos and videos.
