Redox is an attempt to make a complete, fully-functioning, general-purpose operating 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 of syscalls and in terms of size. By writing the code in Rust, a modern, memory-safe and type-safe systems programming language. By maintaining minimal privileges, through a general capability-based system.
Redox is an ambitious project, but it already runs on real hardware. Let's take a look.
Speakers: David Teller