1FILESEXTRAPATHS:prepend := "${THISDIR}/files/optee-os/corstone1000:"
2SRC_URI:append = " \
3                  file://0001-Handle-logging-syscall.patch \
4		  "
5
6COMPATIBLE_MACHINE = "corstone1000"
7
8OPTEEMACHINE = "corstone1000"
9# Enable optee memory layout and boot logs
10EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4"
11
12# default disable latency benchmarks (over all OP-TEE layers)
13EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n"
14
15EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y"
16
17EXTRA_OEMAKE += " CFG_WITH_SP=y"
18