Rust on L4Re - Safe Language Meets Safe Microkernel
Offered By: Rust via YouTube
Course Description
Overview
Explore a 23-minute conference talk from FOSDEM 2018 that delves into the integration of Rust, a modern systems programming language, with L4Re, a microkernel-based operating system. Learn about the unique combination of Rust's compiler-enforced memory-safety guarantees and safe concurrency features with L4Re's isolation and virtualization capabilities for enhanced reliability and security. Discover the challenges faced in porting Rust to L4Re and integrating the Rustc compiler into a different build system. Gain insights into potential future work applying Rust's robust type system to L4Re IPC, showcasing the synergy between safe language design and secure microkernel architecture.
Syllabus
Sebastian Humenda - Rust On L4Re
Taught by
Rust
Related Courses
Introduction to Enterprise ComputingMarist College via Independent Advanced Operating Systems
Georgia Institute of Technology via Udacity Programmation sur iPhone et iPad (partie I)
Université Pierre et Marie CURIE via France Université Numerique 操作系统原理(Operating Systems)
Peking University via Coursera Introduction to Operating Systems
Georgia Institute of Technology via Udacity