K 10
svn:author
V 6
jkoshy
K 8
svn:date
V 27
2000-11-07T09:08:11.000000Z
K 7
svn:log
V 252
GDB now needs an explicit `-k' option to switch to kernel debugging mode.  The
tactic of invoking GDB under the name of `kgdb' has not worked for a while.
Correct the `Kernel Debugging' chapter of the Handbook to reflect this change.

Reviewed by:	ben

END