Explore projects

Redox: A Rust Operating System

The Redox microkernel

Redox: A Rust Operating System

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

Fork of dash from https://git.kernel.org/pub/scm/utils/dash/dash.git with Redox support

Fork of dash from https://git.kernel.org/pub/scm/utils/dash/dash.git with Redox support

The Redox microkernel

Redox Rust Syscall Library

A collection of package recipes for Redox.

Redox: A Rust Operating System

Redox Rust Syscall Library

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

The Redox microkernel

A Redox filesystem builder

Redox: A Rust Operating System

A collection of package recipes for Redox.

Extend ps2d to make full use of keyboard

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