COMPATIBLE_MACHINE = "corstone1000" | |
OPTEEMACHINE = "corstone1000" | |
# Enable optee memory layout and boot logs | |
EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4" | |
# default disable latency benchmarks (over all OP-TEE layers) | |
EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n" | |
EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y" | |
EXTRA_OEMAKE += " CFG_WITH_SP=y" |