--- wikisrc/ports/xen/howto.mdwn	2014/12/29 00:50:18	1.63
+++ wikisrc/ports/xen/howto.mdwn	2014/12/29 14:35:58	1.64
@@ -155,13 +155,13 @@ support) is difficult to build.  The fol
 
         xenkernel3 netbsd-5 amd64
         xentools3 netbsd-5 amd64
-        xentools3 netbsd-5 amd64 ????
+        xentools3=hvm netbsd-5 amd64 ????
         xenkernel33 netbsd-5 amd64
         xentools33 netbsd-5 amd64
         xenkernel41 netbsd-5 amd64
         xentools41 netbsd-5 amd64
         xenkernel42 netbsd-5 amd64
-        xentools42 netbsd-5 amd64 ????
+        xentools42 netbsd-5 amd64
 
         xenkernel3 netbsd-6 i386 FAIL
         xentools3 netbsd-6 i386
@@ -171,7 +171,10 @@ support) is difficult to build.  The fol
         xenkernel41 netbsd-6 i386
         xentools41 netbsd-6 i386
         xenkernel42 netbsd-6 i386
-        xentools42 netbsd-6 i386 FAIL
+        xentools42 netbsd-6 i386 *MIXED
+
+(*On netbsd-6 i386, there is a xentools42 in the 2014Q3 official builds,
+but it does not build for gdt.)
 
 NetBSD as a dom0
 ================