1PLATFORM_FLAVOR ?= b2260 2 3arm32-platform-cpuarch := cortex-a9 4arm32-platform-cflags += -mcpu=$(arm32-platform-cpuarch) 5arm32-platform-aflags += -mcpu=$(arm32-platform-cpuarch) 6core_arm32-platform-aflags += -mfpu=neon 7 8$(call force,CFG_ARM32_core,y) 9$(call force,CFG_SECURE_TIME_SOURCE_REE,y) 10$(call force,CFG_PL310,y) 11$(call force,CFG_CACHE_API,y) 12$(call force,CFG_PM_STUBS,y) 13$(call force,CFG_GENERIC_BOOT,y) 14$(call force,CFG_WITH_LPAE,n) 15 16ta-targets = ta_arm32 17 18CFG_WITH_PAGER ?= n 19CFG_BOOT_SYNC_CPU ?= y 20CFG_TEE_CORE_EMBED_INTERNAL_TESTS ?= y 21CFG_WITH_STACK_CANARIES ?= y 22CFG_WITH_STATS ?= y 23CFG_WITH_SOFTWARE_PRNG ?= n 24 25ifeq ($(PLATFORM_FLAVOR),b2260) 26CFG_PL310_LOCKED ?= y 27CFG_TEE_GDB_BOOT ?= n 28else 29CFG_PL310_LOCKED ?= n 30CFG_TEE_GDB_BOOT ?= y 31endif 32