Is anyone running Redox OS under xen?

Hi everyone,

Just curious if any work has been done to run Redox OS under Xen. Perhaps as a paravirtual guest or by any other means? I know other tiny OSes such as Minix have been ported as paravirtual guests to Xen to help them leverage the broader device support of the DOM 0/concurrent kernels. To me, it seems this would be an ideal setup for exploration into Redox.

I know people run Redox OS under QEMU, and it’s fairly easy to find literature on that setup. I’m just curious if the Redox/Xen combo has had similar treatment.