plat: tc0: enable opteed support

Enable SPD=opteed support for tc0 platform.

Signed-off-by: Arunachalam Ganapathy <arunachalam.ganapathy@arm.com>
Change-Id: Ieb038d645c68fbe6b5a211c7279569e21b476fc3

diff --git a/plat/arm/board/tc0/tc0_plat.c b/plat/arm/board/tc0/tc0_plat.c
index e12ad56d81e95386c0ee81a9c96f8d6bd6dcd3b4..b5698c0984e80c30f3a4432955c83fc17794775b 100644 (file)
--- a/plat/arm/board/tc0/tc0_plat.c
+++ b/plat/arm/board/tc0/tc0_plat.c
@@ -50,6 +50,10 @@ const mmap_region_t plat_arm_mmap[] = {
 #endif
 #if TRUSTED_BOARD_BOOT && !BL2_AT_EL3
        ARM_MAP_BL1_RW,
+#endif
+#ifdef SPD_opteed
+       ARM_MAP_OPTEE_CORE_MEM,
+       ARM_OPTEE_PAGEABLE_LOAD_MEM,
 #endif
        {0}
 };