Debugging kernels

[Marshall Midden <m4_(_at_)_nts_(_dot_)_umn_(_dot_)_edu>]

Ok, I looked for a brief time, and can only seem to find "ddb" for debugging
kernels.  On the Sparc, gdb doesn't like to load the core file.

"/home/crash/bsd.0.core" is not a core dump: File format not recognized

Please help me by providing pointers...
(I'd like to use a script to check differences between several crashes...
and hopefully come up with a place to start looking.)