Teaching Virtualization by Building a Hypervisor
BabyOS: a fresh start