| Patrick Williams | 8dd6848 | 2022-10-04 07:57:18 -0500 | [diff] [blame] | 1 | COMPATIBLE_MACHINE = "corstone1000" |
| 2 | |||||
| 3 | OPTEEMACHINE = "corstone1000" | ||||
| 4 | # Enable optee memory layout and boot logs | ||||
| 5 | EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4" | ||||
| 6 | |||||
| 7 | # default disable latency benchmarks (over all OP-TEE layers) | ||||
| 8 | EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n" | ||||
| 9 | |||||
| 10 | EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y" | ||||
| Patrick Williams | 975a06f | 2022-10-21 14:42:47 -0500 | [diff] [blame] | 11 | |
| 12 | EXTRA_OEMAKE += " CFG_WITH_SP=y" | ||||