--- wikisrc/ports/xen/howto.mdwn	2020/11/15 14:59:54	1.185
+++ wikisrc/ports/xen/howto.mdwn	2020/11/15 15:09:31	1.186
@@ -27,6 +27,9 @@ xen itself).  It also addresses how to r
 and how to deal with having a domU in a Xen environment run by someone
 else and/or not running NetBSD.
 
+There are many choices one can make; the HOWTO recommends the standard
+approach and limits discussion of alternatives in many cases.
+
 ## Guest Styles
 
 Xen supports different styles of guests.
@@ -126,16 +129,19 @@ In 2018-05, trouble booting a dom0 was r
 
 [Install NetBSD/amd64](/guide/inst/)
 just as you would if you were not using Xen.
+Therefore, use the most recent release, or a build from the most recent stable branch.
 
 ## Installation of Xen
 
-We will consider that you chose to use Xen 4.13, with NetBSD/amd64 as
-dom0. In the dom0, install xenkernel48 and xentools48 from pkgsrc.
+Use the most recent version of Xen in pkgsrc, unless the DESCR says that it ss not suitable.
+Therefore, choose 4.13.
+In the dom0, install xenkernel413 and xentools413 from pkgsrc.
 
-Once this is done, install the Xen kernel itself:
+Once this is done, copy the Xen kernel from where pkgsrc puts it to
+where the boot process will be able to find it:
 
 [[!template id=programlisting text="""
-# cp /usr/pkg/xen48-kernel/xen.gz /
+# cp -p /usr/pkg/xen413-kernel/xen.gz /
 """]]
 
 Then, place a NetBSD XEN3_DOM0 kernel in the `/` directory. Such kernel
@@ -143,7 +149,7 @@ can either be compiled manually, or down
 example at:
 
 [[!template id=programlisting text="""
-ftp.netbsd.org/pub/NetBSD/NetBSD-8.0/amd64/binary/kernel/netbsd-XEN3_DOM0.gz
+ftp.netbsd.org/pub/NetBSD/NetBSD-9.1/amd64/binary/kernel/netbsd-XEN3_DOM0.gz
 """]]
 
 Add a line to /boot.cfg to boot Xen:
@@ -173,13 +179,12 @@ more) and to pin that vcpu to a physical
 and other than dom0 memory and max_vcpus, they are generally not
 necessary.
 
-Copy the boot scripts into `/etc/rc.d`:
-
-[[!template id=programlisting text="""
-# cp /usr/pkg/share/examples/rc.d/xen* /etc/rc.d/
-"""]]
+Ensure that the boot scripts installed in
+`/usr/pkg/share/examples/rc.d` are in `/etc/rc.d`, either because you
+have `PKG_RCD_SCRIPTS=yes`, or manually.  (This is not special to Xen,
+but a normal part of pkgsrc usage.)
 
-Enable `xencommons`:
+Set `xencommons=YES` in rc.conf:
 
 [[!template id=filecontent name="/etc/rc.conf" text="""
 xencommons=YES