Lines Matching refs:kernel
6 bool "KGDB: kernel debugger"
11 kernel using gdb. It is recommended but not required, that
12 you also turn on the kernel config option
15 kernel debugger is available at http://kgdb.sourceforge.net
41 a kernel boot arguments "kgdbwait kgdbts=V1F100"
49 to pass in a kernel parameter
74 KDB frontend for kernel
98 setting with kdb.cmd_enable=X kernel command line option will
113 This integer controls the behaviour of kdb when the kernel gets a
120 kernel is still usable in this situation.
122 No guarantees that the kernel is still usable in this situation.