1PLATFORM_FLAVOR ?= orly2 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_BOOT_SYNC_CPU,y) 15 16ta-targets = ta_arm32 17 18CFG_TEE_CORE_EMBED_INTERNAL_TESTS ?= y 19CFG_WITH_STACK_CANARIES ?= y 20CFG_WITH_STATS ?= y 21CFG_WITH_SOFTWARE_PRNG ?= n 22CFG_TEE_GDB_BOOT ?= y 23 24include $(platform-dir)/system_config.mk 25