diff -r 4d6a56579d9d -r 278df575fe4b config/debug/gdb.in.gdbserver
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/debug/gdb.in.gdbserver	Thu Jul 22 23:33:17 2010 +0200
@@ -0,0 +1,26 @@
+# Menu for the native gdbserver
+
+config GDB_GDBSERVER
+    bool
+    prompt "gdbserver"
+    default n
+    depends on ! BARE_METAL
+    help
+      Build and install a gdbserver for the target, to run on the target.
+
+if GDB_GDBSERVER
+
+config GDB_GDBSERVER_STATIC
+    bool
+    prompt "Build a static gdbserver"
+    default y
+    help
+      In case you have trouble with dynamic loading of shared libraries,
+      you will find that a static gdbserver comes in handy.
+
+endif # GDB_GDBSERVER
+
+if BARE_METAL
+comment "In bare-metal, you'll need to   "
+comment "provide your own gdbserver stub."
+endif # BARE_METAL