05-09-2020, 06:50 PM
I know you mentioned Xen, and although Xen is neat, if you don't NEED Xen (which based on the context of your post I am not sure why you'd need specifically Xen), you might have better luck with KVM: https://www.linux-kvm.org/page/Processor_support#ARM: