diff --git a/Makefile.cfg b/Makefile.cfg
index 21a813dda505fb6ba1f1565da86fedf5d23741be..4dc0385ca136d1ff41348f23d5381f1b1d055b89 100644
--- a/Makefile.cfg
+++ b/Makefile.cfg
@@ -68,6 +68,7 @@ endif
 
 ifeq ($(ARCHDIR),armv7)
 MODULES += Input/PS2KbMouse
+MODULES += armv7/GIC
 endif
 
 MODULES += IPStack	# So the other modules are loaded before it