Explore projects

Redox: A Rust Operating System

The Ion Shell. Compatible with Redox and Linux.

The Redox microkernel

C Library in Rust for Redox and Linux (WIP)

Redox Windowing and Compositing System

The Redox book - https://doc.redox-os.org/book/

Redox OS Drivers

A collection of package recipes for Redox.

Redox Packaging Utilities

The Redox Filesystem

The Redox website (blog, news, feed, etc.)

Redox Rust Syscall Library

Package Archive

Method for quickly running programs inside of Redox from a KVM capable OS.

Official plugins for the Ion shell http://redox-os.pages.redox-os.org/ion-plugins/

Moved to https://gitlab.redox-os.org/redox-os/base

Performance Benchmarking Tests for tracking performance improvements in Redox.

Extend ps2d to make full use of keyboard

Bochs 2.7 forked from SVN. This is an attempt to make bochs work on Redox OS

Redox: A Rust Operating System