2 files changed, 29 insertions, 0 deletions

diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index 0796c1a090c0..e601d0e7ac5d 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -622,3 +622,5 @@ config PROVIDE_OHCI1394_DMA_INIT
           See Documentation/debugging-via-ohci1394.txt for more information.
 
 source "samples/Kconfig"
+
+source "lib/Kconfig.kgdb"
diff --git a/lib/Kconfig.kgdb b/lib/Kconfig.kgdb
new file mode 100644
index 000000000000..9631ba3baaf3
--- /dev/null
+++ b/lib/Kconfig.kgdb
@@ -0,0 +1,27 @@
+
+menuconfig KGDB
+        bool "KGDB: kernel debugging with remote gdb"
+        select FRAME_POINTER
+        depends on HAVE_ARCH_KGDB
+        depends on DEBUG_KERNEL && EXPERIMENTAL
+        help
+          If you say Y here, it will be possible to remotely debug the
+          kernel using gdb.  Documentation of kernel debugger is available
+          at http://kgdb.sourceforge.net as well as in DocBook form
+          in Documentation/DocBook/.  If unsure, say N.
+
+config HAVE_ARCH_KGDB_SHADOW_INFO
+        bool
+
+config HAVE_ARCH_KGDB
+        bool
+
+config KGDB_SERIAL_CONSOLE
+        tristate "KGDB: use kgdb over the serial console"
+        depends on KGDB
+        select CONSOLE_POLL
+        select MAGIC_SYSRQ
+        default y
+        help
+          Share a serial console with kgdb. Sysrq-g must be used
+          to break in initially.