Kernel Debugging

[davis william 26373]

I have a co-processor card and a device driver for it for A/UX.
I am trying to debug the card (purchased) and driver (written
by me).  I am looking for something like kdb that can be used
to poke around after a kernel panic.  I am trying to debug a random
kernel panic and cannot get enough information from the short
message that panic prints out to the console.  Interrupts
can still occur because tracing in the driver indicates
this (when I build tracing in).  Has anyone out there done
this?  Where is 'kdb' that is in other versions of Unix.
There is a file that can be built into the kernel for a
'debugger' driver.  Does anyone know how to activate this?
Thanks for any help.