1PLATFORM_FLAVOR ?= dra7xx 2PLATFORM_FLAVOR_$(PLATFORM_FLAVOR) := y 3 4# 32-bit flags 5arm32-platform-cpuarch := cortex-a15 6arm32-platform-cflags += -mcpu=$(arm32-platform-cpuarch) 7arm32-platform-aflags += -mcpu=$(arm32-platform-cpuarch) 8core_arm32-platform-aflags += -mfpu=neon 9 10$(call force,CFG_8250_UART,y) 11$(call force,CFG_ARM32_core,y) 12$(call force,CFG_GENERIC_BOOT,y) 13$(call force,CFG_HWSUPP_MEM_PERM_PXN,y) 14$(call force,CFG_PM_STUBS,y) 15$(call force,CFG_SECURE_TIME_SOURCE_CNTPCT,y) 16$(call force,CFG_WITH_SOFTWARE_PRNG,y) 17 18ta-targets = ta_arm32 19 20CFG_TEE_CORE_EMBED_INTERNAL_TESTS ?= y 21CFG_WITH_STACK_CANARIES ?= y 22CFG_WITH_STATS ?= y 23