Xen also does this, but AWS may still be using a very old fork of Xen 2 or 3.

It's unfortunate that there doesn't seem to be a large-scale consumer for the XenServer platform now that Citrix open-sourced the entire thing.