183dd1f1bSEtienne CarrierePLATFORM_FLAVOR ?= b2260 2abe38974SJens Wiklander 343896851SEtienne Carriereinclude core/arch/arm/cpu/cortex-a9.mk 443896851SEtienne Carriere 5dffb0049SJerome Forissier$(call force,CFG_ARM32_core,y) 6dffb0049SJerome Forissier$(call force,CFG_SECURE_TIME_SOURCE_REE,y) 7dffb0049SJerome Forissier$(call force,CFG_PL310,y) 8dffb0049SJerome Forissier$(call force,CFG_CACHE_API,y) 98cd89706SEtienne Carriere$(call force,CFG_WITH_LPAE,n) 1005efe1e1SEtienne Carriere$(call force,CFG_GIC,y) 11dffb0049SJerome Forissier 128cd89706SEtienne CarriereCFG_WITH_PAGER ?= n 138cd89706SEtienne CarriereCFG_BOOT_SYNC_CPU ?= y 148cd89706SEtienne CarriereCFG_TEE_CORE_EMBED_INTERNAL_TESTS ?= y 1593074435SPascal BrandCFG_WITH_STATS ?= y 16dffb0049SJerome ForissierCFG_WITH_SOFTWARE_PRNG ?= n 1739e661bcSEtienne CarriereCFG_STIH_UART ?= y 18909cd817SEtienne CarriereCFG_ENABLE_SCTLR_RR ?= y 199a64946cSEtienne Carriere 209a64946cSEtienne Carriereifeq ($(PLATFORM_FLAVOR),b2260) 21*9460285eSJerome Forissier$(call force,CFG_TEE_CORE_NB_CORE,2) 2238bdafe8SEtienne CarriereCFG_DDR_START ?= 0x40000000 2338bdafe8SEtienne CarriereCFG_DDR_SIZE ?= 0x40000000 24c8a8dd8fSEtienne CarriereCFG_STM_RSV_DRAM_STARTBYTES ?= 0 2538bdafe8SEtienne CarriereCFG_CORE_TZSRAM_EMUL_START ?= 0x7fe00000 2638bdafe8SEtienne CarriereCFG_DDR_TEETZ_RESERVED_START ?= 0x7e000000 2738bdafe8SEtienne CarriereCFG_DDR_TEETZ_RESERVED_SIZE ?= 0x01e00000 289a64946cSEtienne CarriereCFG_PL310_LOCKED ?= y 299a64946cSEtienne Carriereelse 30*9460285eSJerome Forissier$(call force,CFG_TEE_CORE_NB_CORE,2) 3138bdafe8SEtienne CarriereCFG_DDR_START ?= 0x40000000 3238bdafe8SEtienne CarriereCFG_DDR_SIZE ?= 0x80000000 33c8a8dd8fSEtienne CarriereCFG_STM_RSV_DRAM_STARTBYTES ?= 0x02000000 3438bdafe8SEtienne CarriereCFG_CORE_TZSRAM_EMUL_START ?= 0x94a00000 3538bdafe8SEtienne CarriereCFG_DDR_TEETZ_RESERVED_START ?= 0x93a00000 3638bdafe8SEtienne CarriereCFG_DDR_TEETZ_RESERVED_SIZE ?= 0x01000000 379a64946cSEtienne CarriereCFG_PL310_LOCKED ?= n 389a64946cSEtienne Carriereendif 39c8a8dd8fSEtienne Carriere 40c8a8dd8fSEtienne CarriereCFG_SHMEM_SIZE ?= 0x00200000 41c8a8dd8fSEtienne CarriereCFG_TZDRAM_START ?= ($(CFG_DDR_TEETZ_RESERVED_START)) 42c8a8dd8fSEtienne CarriereCFG_TZDRAM_SIZE ?= ($(CFG_DDR_TEETZ_RESERVED_SIZE) - $(CFG_SHMEM_SIZE)) 43c8a8dd8fSEtienne CarriereCFG_TZSRAM_START ?= ($(CFG_CORE_TZSRAM_EMUL_START)) 44c8a8dd8fSEtienne CarriereCFG_TZSRAM_SIZE ?= ($(CFG_CORE_TZSRAM_EMUL_SIZE)) 45c8a8dd8fSEtienne CarriereCFG_SHMEM_START ?= ($(CFG_TZDRAM_START) + $(CFG_TZDRAM_SIZE)) 46