The full iXen technical report is here.xen-profile-report.pdf