| Thomas Gleixner | ec8f24b | 2019-05-19 13:07:45 +0100 | [diff] [blame] | 1 | # SPDX-License-Identifier: GPL-2.0-only |
| Jens Wiklander | 4fb0a5e | 2015-04-14 14:33:20 +0200 | [diff] [blame] | 2 | # OP-TEE Trusted Execution Environment Configuration |
| 3 | config OPTEE |
| 4 | tristate "OP-TEE" |
| 5 | depends on HAVE_ARM_SMCCC |
| Vincenzo Frascino | 9e0caab | 2020-01-10 12:28:07 +0000 | [diff] [blame] | 6 | depends on MMU |
| Jens Wiklander | 4fb0a5e | 2015-04-14 14:33:20 +0200 | [diff] [blame] | 7 | help |
| 8 | This implements the OP-TEE Trusted Execution Environment (TEE) |
| 9 | driver. |
| Sahil Malhotra | 3249527 | 2018-06-08 12:38:13 +0530 | [diff] [blame] | 10 | |
| 11 | config OPTEE_SHM_NUM_PRIV_PAGES |
| 12 | int "Private Shared Memory Pages" |
| 13 | default 1 |
| 14 | depends on OPTEE |
| 15 | help |
| 16 | This sets the number of private shared memory pages to be |
| 17 | used by OP-TEE TEE driver. |