Redox OS -- a Microkernel-based Unix-like OS

Redox is a community-developed Unix-like operating system written in Rust, with the long term goal of being a microkernel-based alternative to its monolithic counterparts. Redox puts strong emphasis on POSIX and source-level compatibility with existing Linux applications, done largely in userspace, and has over time been able to port a growing number of applications.

This presentation will provide an overview of the Redox operating system, its architecture and current status, and will provide a short demo.