Explore projects

Redox: A Rust Operating System

The Ion Shell. Compatible with Redox and Linux.

C Library in Rust for Redox and Linux (WIP)

The Redox microkernel

The Redox Filesystem

Redox OS Bootloader

Cross-platform Rust rewrite of the GNU coreutils

Redox's old EFI bootloader

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.

Redox OS Standard Tests

A fork of newlib from git://sourceware.org/git/newlib-cygwin.git with Redox support

Redox: A Rust Operating System

A fork of newlib from git://sourceware.org/git/newlib-cygwin.git with Redox support

Actix web is a small, pragmatic, and extremely fast rust web framework.

Bochs 2.7 forked from SVN. This is an attempt to make bochs work on Redox OS

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)

The Ion Shell. Compatible with Redox and Linux.

Redox: A Rust Operating System