1PLATFORM_FLAVOR ?= orly2 2 3arm32-platform-cpuarch := cortex-a9 4arm32-platform-cflags += -mcpu=$(arm32-platform-cpuarch) 5arm32-platform-aflags += -mcpu=$(arm32-platform-cpuarch) 6 7$(call force,CFG_ARM32_core,y) 8$(call force,CFG_SECURE_TIME_SOURCE_REE,y) 9$(call force,CFG_PL310,y) 10$(call force,CFG_CACHE_API,y) 11$(call force,CFG_PM_STUBS,y) 12$(call force,CFG_GENERIC_BOOT,y) 13$(call force,CFG_MMU_V7_TTB,y) 14$(call force,CFG_BOOT_SYNC_CPU,y) 15 16ta-targets = ta_arm32 17 18libtomcrypt_with_optimize_size ?= y 19CFG_TEE_CORE_EMBED_INTERNAL_TESTS ?= y 20CFG_WITH_STACK_CANARIES ?= y 21CFG_WITH_STATS ?= y 22CFG_WITH_SOFTWARE_PRNG ?= n 23CFG_TEE_GDB_BOOT ?= y 24 25include $(platform-dir)/system_config.mk 26