How would I proceed in gdb, since I do not get a core file? Is the kernel
   linked for an absolute address?

give the "call X from Y" numbers below, you can feed X and Y into
gdb either via "list *X" or "disassemble X", which will show you
source (-g kernels only) or assembly... 
   
   fdc0 at obio0 slot 0 offset 0x700000 level 11
   Watchdog Reset
   <#0> ok ctrace
   PC: f0004050
   Last leaf: jmpl  f01c14fc    from f0132fa4
        0 w  %o0-%o5: ( f08c1e80 f090a000 f024c550 f01c14fc      f00 f090a100 )
   
   call f0132be0    from f01329e4
        1 w  %o0-%o5: ( f090a000 f024dc44 f029e400 f025f800 f024c550 f01c7da0 )
   
   call f01329c0    from f01c8318
        2 w  %o0-%o5: ( f08c1e80 f024c550 f01c7da0        0 f024c550        0 )

   [ ... ]



.mrg.