Changes in kernel/genarch/Makefile.inc [67bcd81:84176f3] in mainline

File:

• kernel/genarch/Makefile.inc (modified) (2 diffs)

kernel/genarch/Makefile.inc

@@ -85 +85 @@
 endif
 
+ifeq ($(CONFIG_I8259),y)
+GENARCH_SOURCES += \
+        genarch/src/drivers/i8259/i8259.c
+endif
+
 ifeq ($(CONFIG_NS16550),y)
 GENARCH_SOURCES += \
@@ -120 +125 @@
         genarch/src/drivers/bcm2835/mbox.c \
         genarch/src/drivers/bcm2835/timer.c
+endif
+
+ifeq ($(CONFIG_GICV2), y)
+GENARCH_SOURCES += \
+        genarch/src/drivers/gicv2/gicv2.c
 endif