diff -r 258160822e35 -r 7723b8457efa config/debug/gdb.in.cross
--- a/config/debug/gdb.in.cross	Wed Nov 23 13:15:27 2011 +0800
+++ b/config/debug/gdb.in.cross	Fri Nov 18 16:22:52 2011 +0800
@@ -24,6 +24,15 @@
       That way, you can share the cross-gdb without installing a toolchain
       on every machine that will be used to debug target programs.
 
+config GDB_CROSS_SIM
+    bool
+    prompt "Enable 'sim'"
+    depends on EXPERIMENTAL
+    help
+      Say 'y' here if you want to build the 'sim' emulator.
+      You probably don't want it, unless you are building for bare-metal.
+      The default is 'n'.
+
 config GDB_CROSS_PYTHON
     bool
     prompt "Enable python scripting"