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