Mirage xen

Rebasing #2684