On Fri, 24 May 1996, Monroe Williams wrote:

> > > There was a message posted by Jon a few days ago regarding the debugger and
> > > how to use it/does it have a manual/etc.
> 
> At one point I found a man page that described the commands available in
> the kernel debugger.

Yes, it's ddb(4) (just do "man ddb").

--scott