1PLATFORM_FLAVOR ?= mps3 2 3# ARM debugger needs this 4platform-cflags-debug-info = -gdwarf-2 5platform-aflags-debug-info = -gdwarf-2 6 7$(call force,CFG_HWSUPP_MEM_PERM_WXN,y) 8$(call force,CFG_HWSUPP_MEM_PERM_PXN,y) 9$(call force,CFG_ENABLE_SCTLR_RR,n) 10$(call force,CFG_ENABLE_SCTLR_Z,n) 11 12$(call force,CFG_WITH_LPAE,y) 13$(call force,CFG_PSCI_ARM64,y) 14$(call force,CFG_DT,y) 15$(call force,CFG_EXTERNAL_DTB_OVERLAY,y) 16 17$(call force,CFG_CORE_SEL1_SPMC,y) 18$(call force,CFG_CORE_FFA,y) 19$(call force,CFG_SECURE_PARTITION,y) 20 21$(call force,CFG_GIC,y) 22$(call force,CFG_PL011,y) 23$(call force,CFG_SECURE_TIME_SOURCE_CNTPCT,y) 24$(call force,CFG_ARM64_core,y) 25 26arm64-platform-cpuarch := cortex-a35 27arm64-platform-cflags += -mcpu=$(arm64-platform-cpuarch) 28arm64-platform-aflags += -mcpu=$(arm64-platform-cpuarch) 29 30CFG_WITH_STATS ?= y 31CFG_WITH_ARM_TRUSTED_FW ?= y 32 33CFG_TEE_CORE_NB_CORE ?= 1 34CFG_TZDRAM_START ?= 0x02002000 35 36# TEE_RAM (OP-TEE kernel + DATA) + TA_RAM 37CFG_TZDRAM_SIZE ?= 0x340000 38CFG_SHMEM_START ?= 0x86000000 39CFG_SHMEM_SIZE ?= 0x00200000 40 41CFG_DDR_SIZE ?= 0x7f000000 42CFG_DT_ADDR ?= 0x82100000 43CFG_DTB_MAX_SIZE ?= 0x100000 44CFG_CORE_HEAP_SIZE ?= 131072 45