--- wikisrc/ports/xen/howto.mdwn	2021/03/03 15:03:13	1.195
+++ wikisrc/ports/xen/howto.mdwn	2021/03/03 15:09:26	1.196
@@ -572,7 +572,7 @@ missing with Xen.)
 Note that NetBSD by default creates only xbd[0123].  If you need more
 virtual disks in a domU, run e.g. "./MAKEDEV xbd4" in the domU.
 
-## Creating a Linux domU
+## Creating a Linux PV domU
 
 Creating unprivileged Linux domains isn't much different from
 unprivileged NetBSD domains, but there are some details to know.
@@ -617,13 +617,18 @@ tty to the xen console.
 
 ## Creating a NetBSD HVM domU
 
-Use type='hmv', probably.  Use a GENERIC kernel within the disk image.
+Use type='hvm', probably.  Use a GENERIC kernel within the disk image.
 
 ## Creating a NetBSD PVH domU
 
-Use type='pvh'.
+This only works with a current kernel in the domU.
 
-\todo Explain where the kernel comes from.
+Use type='pvh'.  Probably, use a GENERIC kernel within the disk image,
+which in current has PV support.
+
+\todo Verify.
+
+\todo Verify if one can have current PVH domU on a 9 dom0.
 
 ## Creating a Solaris domU
 
@@ -633,7 +638,7 @@ See possibly outdated
 ## PCI passthrough: Using PCI devices in guest domains
 
 NB: PCI passthrough only works on some Xen versions and as of 2020 it
-is not clear that it works on any version in pkgsrc.  Reports
+is not clear that it works on any version in pkgsrc.  \todo Reports
 confirming or denying this notion should be sent to port-xen@.
 
 The dom0 can give other domains access to selected PCI