1COMPATIBLE_MACHINE = "corstone1000" 2 3OPTEEMACHINE = "corstone1000" 4# Enable optee memory layout and boot logs 5EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4" 6 7# default disable latency benchmarks (over all OP-TEE layers) 8EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n" 9 10EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y" 11 12EXTRA_OEMAKE += " CFG_WITH_SP=y" 13