> 	Any suggestions as to which commands I should try, or would you like
> the core and kernel files directly?

Hello,

wouldn't be good to add 
makeoptions     DEBUG="-g"

to your kernel config file, build a kernel with exactly the same options
as the one which crashed, copy the resulting .gdbinit and netbsd.gdb to
the same directory which contains the core dump?

That way you can execute

gdb netbsd.gdb in that directory, then type 
target kcore <your core dump>

and you can produce more meaningful stack trace (with linenumbers).

I unfortunately cannot help you interpreting the data, but it would be
probably easier for someone else than disassembly.

Sorry if this is nothing new to you...

Bye	Pavel