docs/72925: Developer's Handbook Ch. 11: replace gdb -k with kgdb

[Sebastian Schulze Struchtrup]

Tom Rhodes wrote:

>Synopsis: Developer's Handbook Ch. 11: replace gdb -k with kgdb
>
>State-Changed-From-To: open->closed
>State-Changed-By: trhodes
>State-Changed-When: Thu Feb 24 04:48:24 GMT 2005
>State-Changed-Why: 
>Updated, thanks!
>
>
>
>http://www.freebsd.org/cgi/query-pr.cgi?pr=72925
>
>  
>
Thanks for updating.
A Problem in section 11.3 (Debugging a Crash Dump with DDD) still remains.
`ddd -k` passes the `-k` to gdb which doesn't recognize it anymore (aswe 
are using kgdb now).
Specifying `--debugger kgdb` will pass a `-q -fullname` to kgdb which 
kgdb doesn't recognize.

Maybe it would be the simplest approach to let kgdb support this options 
for compatibility (maybe just ignore them) (marcel?)

Perhaps we should file a separate PR to not forget about it?