Just a question. The AMD64 KfreeBSD brunch does support running as an paravirtualized DomU on XEN?
GNU/kFreeBSD have the same ability as plain FreeBSD kernel. Therefore only i386 supports paravirtualization. See also http://lists.debian.org/debian-bsd/2010/02/msg00062.html Petr