>>> gdb won't recognise vmcore,
>> Did you try gdb -k?  Just a guess by analogy to adb -k....
> If this works, I will add it to the FAQ.

I have since tried it, and it works fine.  ("gdb -k netbsd.0 vmcore.0",
for example.)

> I would like to add a one-liner in the kernel 'mucking-about' section
> about the debugger; unfortunately, I'm not sure where to look for a
> good description of using the one in NetBSD.  Pointers to the
> pointers would be good enough to at least let me put that into the
> FAQ.

I've found DDB to be so crippled it's faster/easier to tell it "c", let
it take a kernel coredump, reboot and savecore, and use gdb -k on the
coredump.  Everything a run-time debugger can give me that a
post-mortem debugger can't is dependent on working breakpoints, which
as far as I can tell do not exist in SPARC DDB.  (I haven't
investigated what's wrong with them.)

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu