Redox is an attempt to make a complete, fully-functioning, general-purposeoperating system with a focus on safety, freedom, reliability, correctness,and pragmatism. So how do we get there? By keeping the kernel minimal, both in terms ofsyscalls and in terms of size. By writing the code in Rust, a modern, memory-safe and type-safe systems programming language. By maintaining minimalprivileges, through a general capability-based system. Redox is an ambitious project, but it already runs on real hardware. Let'stake a look.