Xen aid for FreeBSD on x86 as a guest was introduced in version eight and ARM aid is presently becoming worked on. On the ARM front, this quarter's work concentrated on getting FreeBSD/arm64 booting as a Xen guest. UEFI-enabled boot1.efi and loader.efi have been modified to support loading and booting from a ZFS filesystem, as described in the earlier report. one.