The full iXen technical report is here.{{:publications:xen-profile-report.pdf|}}