1# SPDX-License-Identifier: GPL-2.0-only
2# OP-TEE Trusted Execution Environment Configuration
3config OPTEE
4 tristate "OP-TEE"
5 depends on HAVE_ARM_SMCCC
6 depends on MMU
7 help
8 This implements the OP-TEE Trusted Execution Environment (TEE)
9 driver.
10