> On Wed, Jan 15, 2003 at 11:56:32AM +0100, Pavel Cahyna wrote:
> 
>  > Is there any way to use line numbers in ddb? 
> 
> It might have worked in a.out if you actually loaded the kernel with all
> the debug symbols... but there is no support for debugging symbols for
> ELF objects, even though we currently use DBX-format deubgging in our

OK. It would be good to remove related stuff from the manpage, as I have
spent some time figuring out why this doesn't work before giving up.
I'll send a PR.

> ELF.  It will become even harder when we switch to use DWARF2 debugging

What's this DWARF2 format? Is there any introduction to debugging
formats somewhere, please?

Thanks	Pavel