diff --git a/drivers/interrupt_controller/Kconfig b/drivers/interrupt_controller/Kconfig
index fd2bd20..d436bb8 100644
--- a/drivers/interrupt_controller/Kconfig
+++ b/drivers/interrupt_controller/Kconfig
@@ -83,4 +83,6 @@
 
 source "drivers/interrupt_controller/Kconfig.nxp_s32"
 
+source "drivers/interrupt_controller/Kconfig.xmc4xxx"
+
 endmenu