--- wikisrc/ports/xen/howto.mdwn	2020/11/15 14:52:16	1.183
+++ wikisrc/ports/xen/howto.mdwn	2020/11/15 14:59:54	1.185
@@ -85,24 +85,13 @@ matching versions.
 Versions available in pkgsrc:
 
 [[!table data="""
-Xen Version	|Package Name	|Xen CPU Support	|xm?	|EOL'ed By Upstream
-4.11		|xenkernel411	|x86_64			|	|No
-4.13		|xenkernel413	|x86_64			|	|No
+Xen Version	|Package Name	|Xen CPU Support	|EOL'ed By Upstream
+4.11		|xenkernel411	|x86_64			|No
+4.13		|xenkernel413	|x86_64			|No
 """]]
 
 See also the [Xen Security Advisory page](http://xenbits.xen.org/xsa/).
 
-Multiprocessor (SMP) support in NetBSD differs depending on the domain:
-
-[[!table data="""
-Domain		|Supports SMP
-dom0		|No
-domU		|Yes
-"""]]
-
-Note: NetBSD support is called XEN3.  However, it does support Xen 4,
-because the hypercall interface has remained identical.
-
 Older Xen had a python-based management tool called xm, now replaced
 by xl.
 
@@ -115,6 +104,14 @@ NetBSD 8 and up support PV and HVM modes
 
 Support for PVHVM and PVH is available only in NetBSD-current.
 
+NetBSD as a dom0 does not run SMP, because some drivers are not yet
+safe for this.  \todo Link to more information about what needs work.
+
+NetBSD, when run as a domU, can and does typically run SMP.
+
+Note: NetBSD support is called XEN3.  However, it does support Xen 4,
+because the hypercall interface has remained identical.
+
 # Creating a dom0
 
 In order to install a NetBSD as a dom0, one must first install a normal
@@ -514,7 +511,8 @@ It is also desirable to add
         powerd=YES
 
 in rc.conf. This way, the domain will be properly shut down if
-`xm shutdown -R` or `xm shutdown -H` is used on the dom0.
+`xl shutdown -R` or `xl shutdown -H` is used on the dom0.
+\todo Check the translation to xl.
 
 It is not strictly necessary to have a kernel (as /netbsd) in the domU
 file system.  However, various programs (e.g. netstat) will use that