Class 15v1615: Scaling down: OpenWRT, Zephyr, and beyond¶ Date: 10.06.2025 Links¶ Zephyr: Linux scaled down to a unikernel¶ Zephyr Overview presentation DeviceTree in Linux Zephyr main repo Samples Barometer sample TockOS: microkernel with software isolation¶ Rust in Kernel https://rust-lang.org Key Rust concepts for the kernel More Rust concepts for the kernel Rust heads into the kernel? A GPIO driver in Rust A pair of Rust kernel modules https://github.com/Rust-for-Linux Tock kernel overview