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 !