[Xen-users] NetBSD XEN port

[Dean Anderson <dean@xxxxxxx>]

I'm not on XEN devel, nor the Netbsd devel lists, so I'd appreciate it
if someone can forward this to the appropriate place.

On Netbsd 5.1, if you turn off DDB in the kernel config file, XEN
domain0 will not build due to an unresolved symbol, cpu_Debugger.

The fix is pretty trivial: (sorry, I didn't include a diff)

on line 925 of sys/arch/amd64/amd64/locore.S, change from 

#ifdef XEN /* XXX debug code */

to 

#if defined(XEN) && defined(DDB) /* XXX debug code */

BTW, tuning the kernel to removed unused drivers and options reduces
size from 13meg to 5meg, along with correspondingly faster boot times.

                --Dean



_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-users