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

menu "TEE drivers"

config MTK_TEE_GP_SUPPORT
	bool "Enable MTK GlobalPlatform support in TEE related modules"
	default n
	depends on (TRUSTONIC_TEE_SUPPORT) || (MICROTRUST_TEE_SUPPORT)
	help
	  GlobalPlatform defines common/consistent APIs and this option
	  enables TEE related modules to use GPAPIs. (depending on
	  Trustonic TEE Support or Microtrust TEE Support or Google Trusty
	  TEE or other 3rd-party TEE)

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

endif
