--- /dev/null
+See http://sourceware.org/bugzilla/show_bug.cgi?id=14523
+
+--- a/gdbsupport/signals.cc
++++ b/gdbsupport/signals.cc
+@@ -347,6 +347,11 @@ gdb_signal_from_host (int hostsig)
+ else if (64 <= hostsig && hostsig <= 127)
+ return (enum gdb_signal)
+ (hostsig - 64 + (int) GDB_SIGNAL_REALTIME_64);
++ else if (hostsig == 128)
++ /* Some platforms, such as Linux MIPS, have NSIG == 128, in which case
++ signal 128 is the highest realtime signal. There is no constant for
++ that though. */
++ return GDB_SIGNAL_UNKNOWN;
+ else
+ error (_("GDB bug: target.c (gdb_signal_from_host): "
+ "unrecognized real-time signal"));