diff --git a/drivers/interrupt_controller/Kconfig b/drivers/interrupt_controller/Kconfig
index a8daf62..391493e 100644
--- a/drivers/interrupt_controller/Kconfig
+++ b/drivers/interrupt_controller/Kconfig
@@ -162,4 +162,6 @@
 
 source "drivers/interrupt_controller/Kconfig.s1000"
 
+source "drivers/interrupt_controller/Kconfig.rv32m1"
+
 endmenu