kvm-and-xen XEN VMware MS-HyperV OpenStack-Cloud RaspberryPi