Has anyone been able to get Xen 3 to work with a NetBSD 3.x
x86-64/64-bits/amd64 Dom0?

I have found some references about this such as:
http://www.netbsd.org/Ports/xen/howto.html (old) GRUB does not seem to
work with x86-64
http://lists.xensource.com/archives/html/xen-users/2006-04/msg00202.html
ftp://asim.lip6.fr/outgoing/bouyer/amd64/binary/kernel/

pkgsrc on NetBSD has xenkernel30 under sysutils, but I think that is
installing the 32 bits version.

I have not been able (as of yet) to find any docco as to how to set this up.

Thanks!
Jan