I'm also biased here, but it seems like Firecracker (https://github.com/firecracker-microvm/firecracker https://github.com/firecracker-microvm/firecracker) and

I'm also biased here, but it seems like Firecracker (https://github.com/firecracker-microvm/firecracker https://github.com/firecracker-microvm/firecracker) and rust-vmm (https://github.com/rust-vmm https://github.com/rust-vmm) would be great things to use as examples in a course like this. Not because it has space to explain the whole virtualization stack (it doesn't), but because things like virtualized devices are both fairly simple (at least at the simple end) and really safety critical.