In a parallel move, VMware is rumoured to have turned down an opportunity to sell vSphere to AWS for use in EC2. Now AWS uses Xen for EC2: https://cloudacademy.com/blog/aws-ami-hvm-vs-pv-paravirtual-amazon/