--- wikisrc/ports/xen/howto.mdwn	2016/12/20 04:03:12	1.108
+++ wikisrc/ports/xen/howto.mdwn	2016/12/20 04:07:39	1.109
@@ -465,12 +465,11 @@ Xen-specific NetBSD issues
 There are (at least) two additional things different about NetBSD as a
 dom0 kernel compared to hardware.
 
-One is that modules are not usable in DOM0 kernels, so one must
-compile in what's needed.  It's not really that modules cannot work,
-but that modules must be built for XEN3_DOM0 because some of the
-defines change and the normal module builds don't do this.  Basically,
-enabling Xen changes the kernel ABI, and the module build system
-doesn't cope with this.
+One is that the module ABI is different because some of the #ddefines
+change, so one must build modules for Xen.  As of netbsd-7, the build
+system does this automatically.  TODO: check this.  (Before building
+Xen modules was added, it was awkward to use modules to the point
+where it was considered that it did not work.)
 
 The other difference is that XEN3_DOM0 does not have exactly the same
 options as GENERIC.  While it is debatable whether or not this is a