Kconfig (251B)
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.