There is a writeup on kernel debugging using dbx under ULTRIX on RISC. I will get a copy and either post it (if it is short) or give a pointer to wher it can be ftp'ed or uucp'ed. Fred