mirror of
https://github.com/Fishwaldo/Star64_linux.git
synced 2025-07-23 07:12:09 +00:00
ec8f24b7fa
Add SPDX license identifiers to all Make/Kconfig files which: - Have no license information of any form These files fall under the project license, GPL v2 only. The resulting SPDX license identifier is: GPL-2.0-only Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
16 lines
429 B
Text
16 lines
429 B
Text
# SPDX-License-Identifier: GPL-2.0-only
|
|
# OP-TEE Trusted Execution Environment Configuration
|
|
config OPTEE
|
|
tristate "OP-TEE"
|
|
depends on HAVE_ARM_SMCCC
|
|
help
|
|
This implements the OP-TEE Trusted Execution Environment (TEE)
|
|
driver.
|
|
|
|
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.
|