Explore projects

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/

C Library in Rust for Redox and Linux (WIP)

C Library in Rust for Redox and Linux (WIP)

Redox: A Rust Operating System

A fork of gcc with Redox support

Redox OS network stack

Redox OS network stack

C Library in Rust for Redox and Linux (WIP)