# SPDX-License-Identifier: GPL-2.0-only
# Generic Trusted Execution Environment Configuration
if MTK_TEE_DTV

menu "TEE drivers"

source "$(KERNEL_MIXED_BUILD_PATH)/drivers/soc/mediatek/mtk-tee/tee_6.6/optee/Kconfig"
endmenu

endif
