--- wikisrc/ports/xen/howto.mdwn	2015/01/04 02:18:47	1.74
+++ wikisrc/ports/xen/howto.mdwn	2015/01/17 01:32:12	1.75
@@ -274,23 +274,15 @@ For debugging, one may copy xen-debug.gz
 to DIAGNOSTIC and DEBUG in NetBSD.  xen-debug.gz is basically only
 useful with a serial console.  Then, place a NetBSD XEN3_DOM0 kernel
 in /, copied from releasedir/amd64/binary/kernel/netbsd-XEN3_DOM0.gz
-of a NetBSD build.  Both xen and NetBSD may be left compressed.  (If
-using i386, use releasedir/i386/binary/kernel/netbsd-XEN3PAE_DOM0.gz.)
-
-With Xen as the kernel, you must provide a dom0 NetBSD kernel to be
-used as a module; place this in /.  Suitable kernels are provided in
-releasedir/binary/kernel:
-
-        i386 XEN3_DOM0
-        i386 XEN3PAE_DOM0
-	amd64 XEN3_DOM0
-
-The first one is only for use with Xen 3.1 and i386-mode Xen (and you
-should not do this).  Current Xen always uses PAE on i386, but you
-should generally use amd64 for the dom0.  In a dom0 kernel, kernfs is
-mandatory for xend to comunicate with the kernel, so ensure that /kern
-is in fstab.  TODO: Say this is default, or file a PR and give a
-reference.
+of a NetBSD build.  If using i386, use
+releasedir/i386/binary/kernel/netbsd-XEN3PAE_DOM0.gz.  (If using Xen
+3.1 and i386, you may use XEN3_DOM0 with the non-PAE Xen.  But you
+should not use Xen 3.1.)  Both xen and the NetBSD kernel may be (and
+typically are) left compressed.
+
+In a dom0 kernel, kernfs is mandatory for xend to comunicate with the
+kernel, so ensure that /kern is in fstab.  TODO: Say this is default,
+or file a PR and give a reference.
 
 Because you already installed NetBSD, you have a working boot setup
 with an MBR bootblock, either bootxx_ffsv1 or bootxx_ffsv2 at the
@@ -302,8 +294,8 @@ See boot.cfg(5) for an example.  The bas
         menu=Xen:load /netbsd-XEN3_DOM0.gz console=pc;multiboot /xen.gz dom0_mem=256M
 
 which specifies that the dom0 should have 256M, leaving the rest to be
-allocated for domUs.  In an attempt to add performance, one can also
-add
+allocated for domUs.  To use In an attempt to add performance, one can
+also add
 
         dom0_max_vcpus=1 dom0_vcpus_pin