Explore projects

The Redox microkernel

Tests to identify kernel faults and incorrect behavior

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

A bindless library for controlling terminals/TTY.

A collection of package recipes for Redox.

A bindless library for controlling terminals/TTY.

C Library in Rust for Redox and Linux (WIP)

C Library in Rust for Redox and Linux (WIP)

A Redox filesystem builder

A scheme that will discard all writes and always fill read buffers with zero

Redox init system

Log daemon for collecting all log output

Redox OS Drivers

C Library in Rust for Redox and Linux (WIP)

The Redox microkernel

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 Rust Syscall Library

C Library in Rust for Redox and Linux (WIP)