# redox **Repository Path**: mirrors/redox ## Basic Information - **Project Name**: redox - **Description**: Mirror of https://gitlab.redox-os.org/redox-os/redox - **Primary Language**: Unknown - **License**: MIT - **Default Branch**: master - **Homepage**: None - **GVP Project**: No ## Statistics - **Stars**: 31 - **Forks**: 0 - **Created**: 2017-04-03 - **Last Updated**: 2025-10-25 ## Categories & Tags **Categories**: Uncategorized **Tags**: None ## README

Redox

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. [![MIT licensed](https://img.shields.io/badge/license-MIT-blue.svg)](./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 Repositories | Maintainer |-------------------------------------------------------------------------------------------------------------|--------------------------- | [Kernel](https://gitlab.redox-os.org/redox-os/kernel) | **@jackpot51** | [Base (essential system components)](https://gitlab.redox-os.org/redox-os/base) | **@jackpot51** | [RedoxFS (default filesystem)](https://gitlab.redox-os.org/redox-os/redoxfs) | **@jackpot51** | [Drivers](https://gitlab.redox-os.org/redox-os/drivers) | **@jackpot51** | [relibc (C POSIX library written in Rust)](https://gitlab.redox-os.org/redox-os/relibc) | **@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** | [netstack (network stack)](https://gitlab.redox-os.org/redox-os/netstack) | **@jackpot51** | [pkgutils (current package manager)](https://gitlab.redox-os.org/redox-os/pkgutils) | **@jackpot51** | [Orbital (display server and window manager)](https://gitlab.redox-os.org/redox-os/orbital) | **@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 easy Redox development on Linux)](https://gitlab.redox-os.org/redox-os/redoxer) | **@jackpot51** | [The Redox Book](https://gitlab.redox-os.org/redox-os/book) | **@jackpot51** **@hatred_45** | [Website](https://gitlab.redox-os.org/redox-os/website) | **@jackpot51** **@hatred_45** ## What it looks like See [Redox in Action](https://www.redox-os.org/screens/) for photos and videos. Redox Redox Redox Redox Redox Redox