@@ -1,4 +1,4 @@
-# $NetBSD: options.mk,v 1.14 2023/12/07 17:18:58 gdt Exp $
+# $NetBSD: options.mk,v 1.15 2023/12/07 17:27:17 gdt Exp $
 
 PKG_OPTIONS_VAR=		PKG_OPTIONS.py-anita
 PKG_SUPPORTED_OPTIONS=		gxemul qemu simh xen
@@ -30,8 +30,8 @@
 DEPENDS+=	open-simh>=3:../../emulators/open-simh
 .endif
 
-# Either 415 or 418 should work; we choose 418 because it's newer.
+# Xen 415 is the standard approach, per the Xen HOWTO.
 .if !empty(PKG_OPTIONS:Mxen)
-DEPENDS+=	xenkernel418>=4.2:../../sysutils/xenkernel418
-DEPENDS+=	xentools418>=4.2:../../sysutils/xentools418
+DEPENDS+=	xenkernel415>=4.2:../../sysutils/xenkernel415
+DEPENDS+=	xentools415>=4.2:../../sysutils/xentools415
 .endif