Explore projects

Redox: A Rust Operating System

Redox OS Bootloader

The Ion Shell. Compatible with Redox and Linux.

A bindless library for controlling terminals/TTY.

Redox OS APIs for accessing users and groups information

Pthreads for Embedded Systems

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

Redox: A Rust Operating System

Extra utilities for Redox (and Unix systems)

The Redox microkernel

The Ion Shell. Compatible with Redox and Linux.

The Ion Shell. Compatible with Redox and Linux.

The Ion Shell. Compatible with Redox and Linux.

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

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

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

Redox: A Rust Operating System

Redox: A Rust Operating System

Redox: A Rust Operating System

This repo has nothing to do with QEMU, and is meant only to demonstrate compilation with x86_64-unknown-redox-gcc