> I'm not sure if our gdb supports 'gdb -k' -- i doubt it though.
> 
Our gdb supports kernel debugging for over a year now.

Actually, the extras required in gdb proper are almost trivially simple; the
hard work is all done in libkvm. So if your port's libkvm routines work,
you can read crash dumps (gdb -k /netbsd netbsd.core) and edit the live
kernel (gdb -k /netbsd /dev/mem). I've used the latter quite extensively :-)

-pk