142f66171SVishnu BanavathPLATFORM_FLAVOR ?= mps3 242f66171SVishnu Banavath 342f66171SVishnu Banavath# ARM debugger needs this 442f66171SVishnu Banavathplatform-cflags-debug-info = -gdwarf-2 542f66171SVishnu Banavathplatform-aflags-debug-info = -gdwarf-2 642f66171SVishnu Banavath 742f66171SVishnu Banavath$(call force,CFG_HWSUPP_MEM_PERM_WXN,y) 842f66171SVishnu Banavath$(call force,CFG_HWSUPP_MEM_PERM_PXN,y) 942f66171SVishnu Banavath$(call force,CFG_ENABLE_SCTLR_RR,n) 1042f66171SVishnu Banavath$(call force,CFG_ENABLE_SCTLR_Z,n) 1142f66171SVishnu Banavath 1242f66171SVishnu Banavath$(call force,CFG_WITH_LPAE,y) 1342f66171SVishnu Banavath$(call force,CFG_PSCI_ARM64,y) 1442f66171SVishnu Banavath$(call force,CFG_DT,y) 1542f66171SVishnu Banavath$(call force,CFG_EXTERNAL_DTB_OVERLAY,y) 1642f66171SVishnu Banavath 1742f66171SVishnu Banavath$(call force,CFG_CORE_SEL1_SPMC,y) 1842f66171SVishnu Banavath$(call force,CFG_CORE_FFA,y) 1942f66171SVishnu Banavath$(call force,CFG_SECURE_PARTITION,y) 2042f66171SVishnu Banavath 2142f66171SVishnu Banavath$(call force,CFG_GIC,y) 2242f66171SVishnu Banavath$(call force,CFG_PL011,y) 2342f66171SVishnu Banavath$(call force,CFG_SECURE_TIME_SOURCE_CNTPCT,y) 2442f66171SVishnu Banavath$(call force,CFG_ARM64_core,y) 2542f66171SVishnu Banavath 2642f66171SVishnu Banavatharm64-platform-cpuarch := cortex-a35 2742f66171SVishnu Banavatharm64-platform-cflags += -mcpu=$(arm64-platform-cpuarch) 2842f66171SVishnu Banavatharm64-platform-aflags += -mcpu=$(arm64-platform-cpuarch) 2942f66171SVishnu Banavath 3042f66171SVishnu BanavathCFG_WITH_STATS ?= y 3142f66171SVishnu BanavathCFG_WITH_ARM_TRUSTED_FW ?= y 3242f66171SVishnu Banavath 3342f66171SVishnu BanavathCFG_TEE_CORE_NB_CORE ?= 1 3442f66171SVishnu BanavathCFG_TZDRAM_START ?= 0x02002000 3542f66171SVishnu Banavath 36258b72d2SAli Can Ozaslan# TEE_RAM (OP-TEE kernel + DATA) + TA_RAM 37*55544d37SFrazer CarsleyCFG_TZDRAM_SIZE ?= 0x360000 3842f66171SVishnu BanavathCFG_SHMEM_START ?= 0x86000000 3942f66171SVishnu BanavathCFG_SHMEM_SIZE ?= 0x00200000 4042f66171SVishnu Banavath 4142f66171SVishnu BanavathCFG_DDR_SIZE ?= 0x7f000000 4242f66171SVishnu BanavathCFG_DT_ADDR ?= 0x82100000 4342f66171SVishnu BanavathCFG_DTB_MAX_SIZE ?= 0x100000 4442f66171SVishnu BanavathCFG_CORE_HEAP_SIZE ?= 131072 45