a virtual machine manager for Google Compute Engine.