Subject: Re: NetBSD crashes on 4 GB Supermicro
To: Manuel Bouyer <>
From: Brian Marcotte <>
List: port-xen
Date: 05/03/2007 19:33:44
> 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:


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

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.


- Brian