Hi,

You don't want to use xen12load for xen2 since xen2 loads an elf image to
run as kernel in dom0.
The loader is missing the part to load a NetBSD symbol table but that can be
easily added.

> but at compile time I get:
> xenload.c: In function `HYPERVISOR_console_write_pic':
> xenload.c:86: error: can't find a register in class `BREG' while reloading
`asm'

gcc already uses %ebx to generate pic code (since xen12load is compiled
with -fpic or -fPIC), you'd need to explicitly load %ebx like in the
original HYPERVISOR_console_write_pic function....

     christian