Xen's performances

Borrowed from their paper at SOSP