https://peertube.watch/videos/watch/53f42ecf-8400-4eae-9d21-558aeec46faa Safe Language Meets Safe Microkernel 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. Speaker: Sebastian Humenda, Track: Microkernels, Room: AW1.126, When: Saturday 3 February 2018, 15:10–15:45 (Brussels time), Schedule: FOSDEM 2018 event page, Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Rust On L4Re” by Sebastian Humenda, FOSDEM 2018. Original recording: 2018/AW1.126/microkernel_l4re_rust.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Wed, 21 Oct 2026 23:03:37 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/53f42ecf-8400-4eae-9d21-558aeec46faa All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.