--- 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.)