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