Focus on Xen 4.2.1 (Xen)