[$] Redox: An operating system in Rust

With the

Rust-for-Linux project starting to gain some ground, it is worth
looking at other operating systems that use Rust in their kernels. There
are
many attempts to use
Rust for operating system development, but Redox
may be the most complete.
Redox is an MIT-licensed microkernel and corresponding user space, designed
around concepts taken from

Plan 9. While nowhere near being usable as a
replacement for Linux, it already provides a graphical user interface and

the ability to run many POSIX programs.