Explore projects

The Ion Shell. Compatible with Redox and Linux.

Redox OS Bootloader

A collection of package recipes for Redox.

The Redox microkernel

Redox OS Drivers

Redox Windowing and Compositing System

C Library in Rust for Redox and Linux (WIP)

Redox test suite

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

The Redox Filesystem

Redox system library (stable ABI)

Redox Rust Syscall Library

The Redox microkernel

A bindless library for controlling terminals/TTY.

Daemon that implements setuid/setgid for the relibc execve implementation.

First code that the kernel executes, responsible for spawning init.

A collection of package recipes for Redox.

Redox Windowing and Compositing System