Hi, just to clarify things, I've followed the steps as set out in: http://www.netbsd.org/Ports/xen/howto.html but I get stuck after trying to boot into the XEN0 kernel, as described in my previous mail. If you could help, I would be very grateful. Thank you !