1PLATFORM_FLAVOR ?= ns3 2 3$(call force,CFG_8250_UART,y) 4$(call force,CFG_GENERIC_BOOT,y) 5$(call force,CFG_TEE_CORE_DEBUG,n) 6$(call force,CFG_GIC,y) 7 8ifeq ($(PLATFORM_FLAVOR),ns3) 9platform-flavor-armv8 := 1 10$(call force,CFG_WITH_LPAE,y) 11$(call force,CFG_ARM_GICV3,y) 12$(call force,CFG_CORE_CLUSTER_SHIFT,1) 13$(call force,CFG_TEE_CORE_NB_CORE,8) 14CFG_TZDRAM_START ?= 0x8e000000 15CFG_TZDRAM_SIZE ?= 0x01000000 # 16MB 16CFG_SHMEM_START ?= ($(CFG_TZDRAM_START) - $(CFG_SHMEM_SIZE)) 17CFG_SHMEM_SIZE ?= 0x01000000 # 16MB 18CFG_TEE_RAM_VA_SIZE := 0x400000 # 4MB 19endif 20 21ifeq ($(platform-flavor-armv8),1) 22$(call force,CFG_WITH_ARM_TRUSTED_FW,y) 23$(call force,CFG_PM_STUBS,y) 24$(call force,CFG_SECURE_TIME_SOURCE_CNTPCT,y) 25endif 26 27ifeq ($(platform-flavor-armv8),1) 28ifeq ($(DEBUG),1) 29platform-cflags += -gdwarf-2 30platform-aflags += -gdwarf-2 31endif 32endif 33