Index: kernel/genarch/Makefile.inc
===================================================================
--- kernel/genarch/Makefile.inc	(revision 87a57963770ed25144cc5465eac8c036c70d4201)
+++ kernel/genarch/Makefile.inc	(revision 7348c4b9a0c6014afb6f7a853e926f96e887ff26)
@@ -127,4 +127,9 @@
 endif
 
+ifeq ($(CONFIG_GICV2), y)
+GENARCH_SOURCES += \
+	genarch/src/drivers/gicv2/gicv2.c
+endif
+
 ifeq ($(CONFIG_VIA_CUDA),y)
 GENARCH_SOURCES += \