K 10
svn:author
V 4
grog
K 8
svn:date
V 27
2003-06-07T01:15:07.000000Z
K 7
svn:log
V 264
Modify startup mode: don't specify the file name for the debug kernel,
so it needs to be (and can be) specified on the command line.  Don't
try to automatically connect to a remote machine, so that the same
.gdbinit file can be used for analysing processor dumps.

END