Unrelated to QubesOS.
Getting it working on ARM is also of interest.
Or even better, seL4, for which an effort exists[0].
> In Xen, at no point does the execution path jump out of the hypervisor to e.g. Dom0. Everything is contained within the hypervisor. Consequently itʼs easier to perform the careful security code audit of the Xen hypervisor, as itʼs clear which code really belongs to the hypervisor.
From the original 0.3 spec