YoVDO

Rust on L4Re - Safe Language Meets Safe Microkernel

Offered By: Rust via YouTube

Tags

Rust Courses Virtualization Courses Operating Systems Courses Concurrency Courses Microkernels Courses Memory Safety Courses Systems Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Amazon Elastic File System (EFS) Performance (Japanese)
Amazon Web Services via AWS Skill Builder
Learn Intermediate Java: Threading
Codecademy
Learn JavaScript: Best Practices
Codecademy
Intro to Operating Systems 3: Concurrency
Codio via Coursera
Introduction to Operating Systems
Codio via Coursera