The Redox Filesystem
Redox Bootloader for EFI
Redox: A Rust Operating System
C Library in Rust for Redox and Linux (WIP)
This repo has nothing to do with QEMU, and is meant only to demonstrate compilation with x86_64-unknown-redox-gcc
Redox OS Bootloader
The Ion Shell. Compatible with Redox and Linux.
Fork of http://gigalomania.sourceforge.net/