> build a XEN3_DOMU kernel with -g and boot it. Then use gdb netbsd.gdb

I remember why I rarely use gdb.

I think it looks like this (3.1 sources):

  locore.S:456            start
  xen_machdep.c:422       xpmap_init
  xen_machdep.c:311       xpmap_get_bootpte (crashed here)

xpmap_get_bootpte may have called these before crashing:

	xpmap_get_bootptep
	  xpmap_get_vbootpde
	    xpmap_get_bootpde
	    xpmap_mtop

I can't tell by just looking at the code if this is NetBSD's fault or
Xen's.

Is there a way to single step a running kernel under xen, or do I
need to do some sort of printf thing? Which would I use (XENPRINTF,
XENPRINTK, etc. )?

Oh, I've tried every version of NetBSD from 3.1 to recent -current. It's
all the same.

Thanks.

--
- Brian