The Redox microkernel
A collection of package recipes for Redox.
C Library in Rust for Redox and Linux (WIP)