# SPDX-License-Identifier: GPL-2.0obj-$(CONFIG_TEE) += tee.otee-objs += tee_core.otee-objs += tee_shm.otee-objs += tee_shm_pool.oobj-$(CONFIG_OPTEE) += optee/obj-$(CONFIG_AMDTEE) += amdtee/