--- wikisrc/ports/xen/howto.mdwn	2016/12/20 19:25:35	1.127
+++ wikisrc/ports/xen/howto.mdwn	2016/12/20 19:31:46	1.128
@@ -245,8 +245,7 @@ ok as a dom0, and "FAIL" if it won't boo
 	xenkernel41 netbsd-6 i386 builds 201612
 	xenkernel42 netbsd-6 i386 builds 201612
 	xentools3 netbsd-6 i386 FAIL 201612
-	xentools3-hvm netbsd-6 i386 FAIL 201412
-	xentools33 netbsd-6 i386 builds 201412
+	xentools33 netbsd-6 i386 FAIL 201612
 	xentools41 netbsd-6 i386 builds 201612
 	xentools42 netbsd-6 i386 FAIL 201612
 
@@ -456,7 +455,6 @@ one is using xm or xl.  The Xen 3.1, 3.3
 4.2 and up packages use xl.  To use xm with 4.2, edit xendomains to
 use xm instead.
 
-
 For "xm", you should enable xend and xenbackendd:
 
         xend=YES