Index: kernel/genarch/Makefile.inc
===================================================================
--- kernel/genarch/Makefile.inc	(revision 87a57963770ed25144cc5465eac8c036c70d4201)
+++ kernel/genarch/Makefile.inc	(revision bc73be3215c832cdb0c8a5022db800902f9f62dc)
@@ -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 += \