--- wikisrc/ports/xen/howto.mdwn	2014/12/30 18:26:26	1.68
+++ wikisrc/ports/xen/howto.mdwn	2014/12/31 00:33:48	1.69
@@ -173,6 +173,12 @@ support) is difficult to build.  The fol
         xenkernel42 netbsd-6 i386
         xentools42 netbsd-6 i386 *MIXED
 
+	(all 3 and 33 seem to FAIL)
+        xenkernel41 netbsd-7 i386
+        xentools41 netbsd-7 i386
+        xenkernel42 netbsd-7 i386
+        xentools42 netbsd-7 i386 ??FAIL
+
 (*On netbsd-6 i386, there is a xentools42 in the 2014Q3 official builds,
 but it does not build for gdt.)