Index: defaults/sparc32/leon3/Makefile.config
===================================================================
--- defaults/sparc32/leon3/Makefile.config	(revision ca62f86042879612cc20ee65e77d9e9b20e33574)
+++ defaults/sparc32/leon3/Makefile.config	(revision bbb9454561ed446417b4a514ee1e3f9254c5cb9e)
@@ -10,2 +10,5 @@
 # GRLIB APBUART
 CONFIG_GRLIB_UART = y
+
+# GRLIB IRQMP
+CONFIG_GRLIB_IRQMP = y