Explore projects

The Redox microkernel

A collection of package recipes for Redox.

C Library in Rust for Redox and Linux (WIP)

Pthreads for Embedded Systems

The Ion Shell. Compatible with Redox and Linux.

A Rust Emulator for Any 8051

A Rust Emulator for Any 8051

A GDB Remote Serial Protocol server for Rust, intended to be a simple GDBserver for at least Linux and Redox running on the x86_64 architecture rewritten in Rust.

A GDB Remote Serial Protocol server for Rust, intended to be a simple GDBserver for at least Linux and Redox running on the x86_64 architecture rewritten in Rust.

The Redox microkernel

The Redox microkernel

Precompiled libc for use in cross-compiler-less build

A fork of gcc with Redox support

A fork of binutils from git://sourceware.org/git/binutils-gdb.git with Redox support

C Library in Rust for Redox and Linux (WIP)

The Redox microkernel

A collection of package recipes for Redox.

The Ion Shell. Compatible with Redox and Linux.

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