Does anyone know if a kernel debugger (i.e., kadb equivalent) exists in Ultrix/RISC for the DECstations? If so, how can I can ahold of one? If not, how does one debug a Ultrix device driver? I would like to share your experience. Please reply to albert at novell.com. Thanks. Albert