Intel ha realizado modificaciones a Xen para soportar su arquitectura de extensiones Vanderpool.