Microkernels Courses
National Research Nuclear University MEPhI via Coursera Containers, VMs, Processes - Deep Dive and Learn About Your Operating System
Devoxx via YouTube Containers, VMs, Processes - How All of These Technologies Work
Devoxx via YouTube Security in Zephyr and Fuchsia - Comparing Emerging Open Source Operating Systems
Linux Foundation via YouTube Rust on L4Re - Safe Language Meets Safe Microkernel
Rust via YouTube BPF Microconference
Linux Plumbers Conference via YouTube Verified seL4 on Secure RISC-V Processors
linux.conf.au via YouTube Anatomy of a Run-Time - Your Contract with the Kernel
linux.conf.au via YouTube Antikernel - A Decentralized Secure Hardware Software Operating System
TheIACR via YouTube Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
GOTO Conferences via YouTube