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