Index: gdb/configure.tgt
===================================================================
RCS file: /cvs/src/src/gdb/configure.tgt,v
retrieving revision 1.253
diff -u -r1.253 configure.tgt
--- gdb/configure.tgt	24 Apr 2012 03:33:16 -0000	1.253
+++ gdb/configure.tgt	7 May 2012 20:15:54 -0000
@@ -331,8 +331,8 @@
 			monitor.o dsrec.o solib-svr4.o symfile-mem.o linux-tdep.o"
 	gdb_sim=../sim/microblaze/libsim.a
 	;;
-microblaze*-*-*)
-	# Target: Xilinx MicroBlaze running standalone
+microblaze*-*-* | microblaze*-*-rtems*)
+	# Target: Xilinx MicroBlaze running standalone (or RTEMS)
 	gdb_target_obs="microblaze-tdep.o microblaze-rom.o monitor.o dsrec.o"
 	gdb_sim=../sim/microblaze/libsim.a
 	;;