Xen users - Nov 2011 - NetBSD XEN port

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@lists.xensource.com
http://lists.xensource.com/xen-users

Hello Dean,

You should probably forward this to tech-kern and port-xen NetBSD mailing lists.

Thanks, Roger.

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