The Redox book - https://doc.redox-os.org/book/
Redox OS Bootloader
A collection of package recipes for Redox.
Redox OS Drivers
The Redox microkernel
Metal IO library for Rust
A scheme that will discard all writes and read no bytes
The Orbital Client Library. Compatible with Redox and SDL2.
Redox Packaging Utilities
Redox: A Rust Operating System
Next Generation File System
The Redox website (blog, news, feed, etc.)
A scheme that will discard all writes and always fill read buffers with zero