Subject: Re: Debugging Kernel changes.
To: None <>
From: Mike Long <>
List: tech-kern
Date: 06/25/1997 02:22:00
>From: Joshua Dinerstein <>
>Date: Tue, 24 Jun 1997 13:01:49 -0700 (PDT)

>	So what I am wondering is this. Is there anyway to run the kernel 
>in a debug mode or with a debugger? Something where I could get a better 
>idea of what is really going wrong and why it is causing these crashes?

See ddb(4).  DDB can be added to your kernel by specifying 'options
DDB' in your kernel config; see options(4).

I never really have grokked DDB, though, so I usually use printf().
Gross and slow, but it works.
Mike Long <>      
"Every normal man must be tempted at times to spit on his hands,
hoist the black flag, and begin slitting throats." -- H.L. Mencken