For some reasons I thought they were using Linux for their hypervisor layer so Xen/KVM. Yes I think hyper-v is fine.