HyperPlatform: an Intel VT-x based hypervisor