Focus on Xen 4.0.0 (Xen)