Explore projects

Redox: A Rust Operating System

A collection of package recipes for Redox.

The Ion Shell. Compatible with Redox and Linux.

Redox: A Rust Operating System

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

A Redox filesystem builder

The Redox microkernel

C Library in Rust for Redox and Linux (WIP)

A collection of package recipes for Redox.

The Library

The Ion Shell. Compatible with Redox and Linux.

Redox fork

The Redox website (blog, news, feed, etc.)

A collection of package recipes for Redox.

The Ion Shell. Compatible with Redox and Linux.

The Ion Shell. Compatible with Redox and Linux.

Redox: A Rust Operating System

Method for quickly running programs inside of Redox from a KVM capable OS.

Method for quickly running programs inside of Redox from a KVM capable OS.