OK, donc pour Xen/Citrix, il faut que ça tourne sur une machine dont le CPU possède certaines instructions dédiées?