Explore projects

C Library in Rust for Redox and Linux (WIP)

Redox OS Drivers

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

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

C Library in Rust for Redox and Linux (WIP)

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.

The Redox microkernel

The Redox microkernel

A collection of package recipes for Redox.

Composition logic : a vm on nix can be seen as a set of devshells working with a set on nix system modules cross-compile and build resource intensive embedded rust crates on you regular nix machine, test it in a vm or ISO and deploy in to the aarch

Redox OS Drivers

Redox OS Drivers

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

A bindless library for controlling terminals/TTY.

Redox: A Rust Operating System

Redox Rust Syscall Library

A safe, concurrent, practical language.

A safe, concurrent, practical language.