Rust On L4Re
Safe Language Meets Safe Microkernel
- Track: Microkernels devroom
- Room: AW1.126
- Day: Saturday
- Start: 15:10
- End: 15:45
Rust is a modern systems programming language with compiler-enforced memory-safety guarantees, safe concurrency and a powerful type system. L4Re offers safety features on the operating system level through isolation and virtualisation. Both together can form a unique combination for reliable and secure services. In this talk, I will present my port of Rust to L4Re and discuss some of the challenges of integrating the compiler Rustc into a different build system. I will also discuss future work on how to apply Rust's strong type system to L4Re IPC.
Speakers
Sebastian Humenda |