Extra stuff, we use in the Redox project.
Redox OS Bootloader
A set of NixOS patches for building Redox, with an ultra optimistic long term goal
A scheme for interprocess communication channels
Metal IO library for Rust
A bindless library for controlling terminals/TTY.
Redox Packaging Utilities
Redox: A Rust Operating System
C Library in Rust for Redox and Linux (WIP)
The Redox Filesystem
The Redox book - https://doc.redox-os.org/book/
A fork of gcc with Redox support
Redox OS network stack