Creating a deterministic hypervisor the easy way.