Explore projects

Extend ps2d to make full use of keyboard

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

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

rine is not an emulator

Redox: A Rust Operating System

Redox: A Rust Operating System

A collection of package recipes for Redox.

Repository containing various smaller daemons, that are considered fundamental for the OS.

Raw bindings to platform APIs for Rust

Redox: A Rust Operating System

A safe, concurrent, practical language.

Redox Rust Syscall Library

The Redox microkernel

A collection of package recipes for Redox.

The Redox microkernel

WIP Redox userspace on Linux

Redox System Interface Specifications and Tests