1SRCREV = "42f6617108fa43712652ef52f9d5b4ec5b2665f8"
2PV = "3.18.0+git${SRCPV}"
3
4SRC_URI:remove = " \
5                  file://0008-no-warn-rwx-segments.patch \
6                 "
7
8FILESEXTRAPATHS:prepend := "${THISDIR}/files/optee-os/corstone1000:"
9SRC_URI:append = " \
10                  file://0004-Handle-logging-syscall.patch \
11		  "
12
13COMPATIBLE_MACHINE = "corstone1000"
14
15OPTEEMACHINE = "corstone1000"
16# Enable optee memory layout and boot logs
17EXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4"
18
19# default disable latency benchmarks (over all OP-TEE layers)
20EXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n"
21
22EXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y"
23
24EXTRA_OEMAKE += " CFG_WITH_SP=y"
25