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.                 bouyer@masi.ibp.fr
--