I believe they use Xen. (and so thinks wikipedia http://en.wikipedia.org/wiki/Amazon_Web_Services)