Hyperlight: A Lightweight Virtual Machine Manager