2019-05-19 20:07:45 +08:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2015-04-14 20:33:20 +08:00
|
|
|
# OP-TEE Trusted Execution Environment Configuration
|
|
|
|
config OPTEE
|
|
|
|
tristate "OP-TEE"
|
|
|
|
depends on HAVE_ARM_SMCCC
|
2020-01-10 20:28:07 +08:00
|
|
|
depends on MMU
|
2015-04-14 20:33:20 +08:00
|
|
|
help
|
|
|
|
This implements the OP-TEE Trusted Execution Environment (TEE)
|
|
|
|
driver.
|
2018-06-08 15:08:13 +08:00
|
|
|
|
|
|
|
config OPTEE_SHM_NUM_PRIV_PAGES
|
|
|
|
int "Private Shared Memory Pages"
|
|
|
|
default 1
|
|
|
|
depends on OPTEE
|
|
|
|
help
|
|
|
|
This sets the number of private shared memory pages to be
|
|
|
|
used by OP-TEE TEE driver.
|