diff -r a6829a4a6afe -r 5416f4ba36bf config/debug/gdb.in
--- a/config/debug/gdb.in	Mon Mar 23 20:47:30 2009 +0000
+++ b/config/debug/gdb.in	Sun May 03 21:10:15 2009 +0000
@@ -87,6 +87,11 @@
       In case you have trouble with dynamic loading of shared libraries,
       you will find that a static gdbserver comes in handy.
 
+if BARE_METAL
+comment "In bare-metal, you'll need to   "
+comment "provide your own gdbserver stub."
+endif # BARE_METAL
+
 choice
     bool
     prompt "gdb version"