RedLeaf - Isolation and Communication in a Safe Operating System

This course explores the design and implementation of a new operating system, RedLeaf, developed in Rust to investigate the impact of language safety on operating system organization. The learning outcomes include understanding language-based isolation mechanisms, fault isolation in language-based systems, and implementing end-to-end zero-copy communication. Students will learn about lightweight fine-grained isolation, domain abstraction, and efficient device driver development. The teaching method involves lectures on isolation mechanisms, language-based isolation in Rust, fault isolation, and practical case studies on device drivers. This course is intended for students and professionals interested in operating system design, language safety, and system-level programming.