Focus on Xen 4.2.0 (Xen)