diff -r d1a8c2ae7946 -r 252ade1e9e17 config/debug/gdb.in.gdbserver
--- a/config/debug/gdb.in.gdbserver	Tue May 31 16:27:39 2011 +0200
+++ b/config/debug/gdb.in.gdbserver	Wed Jun 06 12:03:12 2012 +0200
@@ -9,6 +9,11 @@
 
 if GDB_GDBSERVER
 
+config GDB_GDBSERVER_HAS_IPA_LIB
+    bool
+    depends on GDB_7_2_or_later
+    default y
+
 config GDB_GDBSERVER_STATIC
     bool
     prompt "Build a static gdbserver"
@@ -17,6 +22,21 @@
       In case you have trouble with dynamic loading of shared libraries,
       you will find that a static gdbserver comes in handy.
 
+config GDB_GDBSERVER_BUILD_IPA_LIB
+    bool
+    prompt "Build the IPA library"
+    depends on GDB_GDBSERVER_HAS_IPA_LIB && !GDB_GDBSERVER_STATIC
+    help
+      gdbserver >= 7.2 comes with an optional library to use tracepoints,
+      the In Process Agent (IPA) library, libinproctrace.so.
+      
+      Say 'y' if you indend to use tracepoints when debugging your
+      programs with gdbserver.
+      
+      Note: Currently, building this library is not possible when the
+            gdbserver is built statically. This is a limitation in
+            crosstool-NG, so do not bug upstream about it...
+
 endif # GDB_GDBSERVER
 
 if BARE_METAL