^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) # SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) # OP-TEE Trusted Execution Environment Configuration
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) config OPTEE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) tristate "OP-TEE"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) depends on HAVE_ARM_SMCCC
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) depends on MMU
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) This implements the OP-TEE Trusted Execution Environment (TEE)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) driver.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) config OPTEE_SHM_NUM_PRIV_PAGES
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) int "Private Shared Memory Pages"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) default 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) depends on OPTEE
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) help
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) This sets the number of private shared memory pages to be
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) used by OP-TEE TEE driver.
Orange Pi5 kernel
Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards
3 Commits
0 Branches
0 Tags