plat: tc0: Add cactus support
This patch adds tc0 platform support for cactus to execute at S-EL1
Change-Id: Iabac58de7c39e51968f0c5b578292e5a6111609a
Signed-off-by: Arunachalam Ganapathy <arunachalam.ganapathy@arm.com>
diff --git a/plat/arm/tc0/platform.mk b/plat/arm/tc0/platform.mk
index 05fa54c..faf0d19 100644
--- a/plat/arm/tc0/platform.mk
+++ b/plat/arm/tc0/platform.mk
@@ -17,7 +17,7 @@
$(eval $(call add_define,NS_BL1U_DEFINES,TC0_MAX_PE_PER_CPU))
$(eval $(call add_define,NS_BL2U_DEFINES,TC0_MAX_PE_PER_CPU))
-PLAT_INCLUDES := -Iplat/arm/tc0/include/
+PLAT_INCLUDES += -Iplat/arm/tc0/include/
PLAT_SOURCES := drivers/arm/gic/arm_gic_v2v3.c \
drivers/arm/gic/gic_v2.c \