Explore projects

The Ion Shell. Compatible with Redox and Linux.

Library for parsing Intel UEFI images

Sodium: The Text Editor

The Redox microkernel

C bindings to the Orbital client library

Extra utilities for Redox (and Unix systems)

Redox Memory Management - rewrite of kernel memory management

Redox Windowing and Compositing System

A collection of package recipes for Redox.

What am I doing wrong?

Redox: A Rust Operating System

Redox Rust Syscall Library

Example of dynamic library for Redox

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

A scheme that will discard all writes and read no bytes

Redox: A Rust Operating System

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

C Library in Rust for Redox and Linux (WIP)