Explore projects

Redox OS Bootloader

Redox: A Rust Operating System

The Redox Filesystem

Redox OS Bootloader

C Library in Rust for Redox and Linux (WIP)

This repo has nothing to do with QEMU, and is meant only to demonstrate compilation with x86_64-unknown-redox-gcc

C Library in Rust for Redox and Linux (WIP)

Redox Bootloader for EFI

Redox: A Rust Operating System

The Redox Filesystem

The Ion Shell. Compatible with Redox and Linux.

Redox: A Rust Operating System

Redox: A Rust Operating System

The Ion Shell. Compatible with Redox and Linux.

The Ion Shell. Compatible with Redox and Linux.

Redox: A Rust Operating System

The Ion Shell. Compatible with Redox and Linux.

Cross-platform Rust rewrite of the GNU coreutils

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)