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