In https://wiki.xenproject.org/wiki/Xen_Project_Release_Features under "Supported Mainline Architectures for the hypervisor (Host)" it is written that ARMv7+virt extensions and ARMv8 are supported by Xen. Is work ongoing in porting FreeBSD/Xen to ARM/ARM64?