Index: sys/arm64/conf/GENERIC
===================================================================
--- sys/arm64/conf/GENERIC
+++ sys/arm64/conf/GENERIC
@@ -382,6 +382,9 @@
 device		virtio_blk
 device		vtnet
 
+# Xen HVM Guest Optimizations
+options		XENHVM			# Xen HVM kernel infrastructure
+
 # Chip-specific errata
 options 	THUNDERX_PASS_1_1_ERRATA
 
Index: sys/conf/options.arm64
===================================================================
--- sys/conf/options.arm64
+++ sys/conf/options.arm64
@@ -5,6 +5,7 @@
 SOCDEV_PA			opt_global.h
 THUNDERX_PASS_1_1_ERRATA	opt_global.h
 VFP				opt_global.h
+XENHVM				opt_global.h
 LINUX_BOOT_ABI			opt_global.h
 LSE_ATOMICS			opt_global.h