1SRC_URI:remove = " \
2                  file://0003-core-link-add-no-warn-rwx-segments.patch \
3                 "
4
5COMPATIBLE_MACHINE = "corstone1000"
6
7OPTEEMACHINE = "corstone1000"
8# Enable optee memory layout and boot logs
9EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4"
10
11# default disable latency benchmarks (over all OP-TEE layers)
12EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n"
13
14EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y"
15
16EXTRA_OEMAKE += " CFG_WITH_SP=y"
17