"Redox OS -- a Microkernel-based Unix-like OS" ( 2025 )

Sunday at 15:40, 10 minutes, UD2.208 (Decroly), UD2.208 (Decroly), Kernel Jacob Lorentzon , slides , video

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.