Subject: Re: NetBSD crashes on 4 GB Supermicro
To: Manuel Bouyer <firstname.lastname@example.org>
From: Brian Marcotte <email@example.com>
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):
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.