A GDB Remote Serial Protocol server for Rust, intended to be a simple GDBserver for at least Linux and Redox running on the x86_64 architecture rewritten in Rust.

C Library in Rust for Redox and Linux (WIP)

A fork of binutils from git://sourceware.org/git/binutils-gdb.git with Redox support

Redox: A Rust Operating System

A bindless library for controlling terminals/TTY.

The Ion Shell. Compatible with Redox and Linux.

The Redox microkernel

A blazingly fast, portable hash function with proven statistical guarantees.

The Redox book - https://doc.redox-os.org/book/

A set of NixOS patches for building Redox, with an ultra optimistic long term goal

Syntax highlighting for the ion shell

A readline-like library in Rust.