1*220dafdbSAndrew GeisslerFILESEXTRAPATHS:prepend := "${THISDIR}/files/optee-os/corstone1000:"
2*220dafdbSAndrew GeisslerSRC_URI:append = " \
3*220dafdbSAndrew Geissler                  file://0001-Handle-logging-syscall.patch \
4*220dafdbSAndrew Geissler		  "
5*220dafdbSAndrew Geissler
68dd68484SPatrick WilliamsCOMPATIBLE_MACHINE = "corstone1000"
78dd68484SPatrick Williams
88dd68484SPatrick WilliamsOPTEEMACHINE = "corstone1000"
98dd68484SPatrick Williams# Enable optee memory layout and boot logs
108dd68484SPatrick WilliamsEXTRA_OEMAKE += " CFG_TEE_CORE_LOG_LEVEL=4"
118dd68484SPatrick Williams
128dd68484SPatrick Williams# default disable latency benchmarks (over all OP-TEE layers)
138dd68484SPatrick WilliamsEXTRA_OEMAKE += " CFG_TEE_BENCHMARK=n"
148dd68484SPatrick Williams
158dd68484SPatrick WilliamsEXTRA_OEMAKE += " CFG_CORE_SEL1_SPMC=y CFG_CORE_FFA=y"
16975a06f9SPatrick Williams
17975a06f9SPatrick WilliamsEXTRA_OEMAKE += " CFG_WITH_SP=y"
18