1PLATFORM_FLAVOR ?= npcm845x 2 3ifeq ($(PLATFORM_FLAVOR),npcm845x) 4include core/arch/arm/cpu/cortex-armv8-0.mk 5CFG_ARM64_core ?= y 6endif #npcm845x 7 8CFG_USER_TA_TARGETS ?= ta_arm64 9 10$(call force,CFG_WITH_ARM_TRUSTED_FW,y) 11$(call force,CFG_GIC,y) 12$(call force,CFG_ARM_GICV2,y) 13$(call force,CFG_SECURE_TIME_SOURCE_CNTPCT,y) 14$(call force,CFG_16550_UART,y) 15 16CFG_WITH_STATS ?= y 17 18# To enable version printing with color in main 19CFG_NPCM_DEBUG ?= n 20 21ifeq ($(PLATFORM_FLAVOR),npcm845x) 22CFG_TEE_CORE_NB_CORE ?= 4 23# [3000.0000 031f.ffff] is reserved to early boot 24CFG_TZDRAM_START ?= 0x36000000 25CFG_TZDRAM_SIZE ?= 0x00f00000 26# SHM chosen arbitrary, in a way that it does not interfere 27# with initial location of linux kernel, dtb and initrd. 28CFG_SHMEM_START ?= 0x2FD00000 29CFG_SHMEM_SIZE ?= 0x00200000 30# When Secure Data Path is enable, last MByte of TZDRAM is SDP test memory. 31CFG_TEE_SDP_MEM_SIZE ?= 0x00400000 32$(call force,CFG_DT,y) 33CFG_DTB_MAX_SIZE ?= 0x100000 34$(call force,CFG_WITH_PAGER,n,Pager is not supported for NPCM845x) 35else 36$(error Unsupported platform flavor "$(PLATFORM_FLAVOR)") 37endif #npcm845x 38