Subject: Re: Debugging Kernel changes.
To: None <>
From: Manuel BOUYER <>
List: tech-kern
Date: 06/25/1997 11:26:30
On Jun 25, Mike Long wrote
> 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.

I usually uses ddb to get a stack trace, which tells me where the crash
occured. One I know which functions are affected I add printf's.

Doing post-mortem analysis on a kernel core can also be usefull, but
gdb often returns only garbages on it (on i386 at last).

Manuel Bouyer, LIP6, Universite Paris VI.