The Redox microkernel
C Library in Rust for Redox and Linux (WIP)
UEFI support library
The Redox website (blog, news, feed, etc.)
Network Utilities for Redox
A fork of gcc with Redox support
Random number generator daemon
Redox Rust Syscall Library
Redox Windowing and Compositing System
DMI table parser
Rust Hardware MMIO and PIO
Library for parsing Coreboot table
Library for parsing Intel UEFI images