Greg Lehey b38d4c0188 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.		2003-06-07 01:15:07 +00:00
..
dot.gdbinit	Modify startup mode: don't specify the file name for the debug kernel,	2003-06-07 01:15:07 +00:00
gdbinit.i386	Add macros for kernel debugging. These have been around for a	2003-06-07 01:01:42 +00:00
gdbinit.kernel	Add macros for kernel debugging. These have been around for a	2003-06-07 01:01:42 +00:00
gdbinit.vinum	Add macros for kernel debugging. These have been around for a	2003-06-07 01:01:42 +00:00