Glad to see it doesn't stick with Xen, that's really interesting! (if not seL4-interesting)
I've had the same though with Guix, and have considered attempting to repackage / port the Qubes components, but it's one of those far fetched ideas that I know I can't make time for (or even maintain if it was just magically done).