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 16# Not used now for current platform 17$(call force,CFG_EXTERNAL_DT,n) 18 19CFG_WITH_STATS ?= y 20 21# To enable version printing with color in main 22CFG_NPCM_DEBUG ?= n 23 24ifeq ($(PLATFORM_FLAVOR),npcm845x) 25CFG_TEE_CORE_NB_CORE ?= 4 26# [3000.0000 031f.ffff] is reserved to early boot 27CFG_TZDRAM_START ?= 0x02100000 28CFG_TZDRAM_SIZE ?= 0x03f00000 29# SHM chosen arbitrary, in a way that it does not interfere 30# with initial location of linux kernel, dtb and initrd. 31CFG_SHMEM_START ?= 0x06000000 32CFG_SHMEM_SIZE ?= 0x00200000 33# When Secure Data Path is enable, last MByte of TZDRAM is SDP test memory. 34CFG_TEE_SDP_MEM_BASE ?= 0x05F00000 35CFG_TEE_SDP_MEM_SIZE ?= 0x00100000 36$(call force,CFG_DT,y) 37CFG_DTB_MAX_SIZE ?= 0x100000 38$(call force,CFG_WITH_PAGER,n,Pager is not supported for NPCM845x) 39else 40$(error Unsupported platform flavor "$(PLATFORM_FLAVOR)") 41endif #npcm845x 42