quiz: tiny VMs for kernel development