| # SPDX-License-Identifier: GPL-2.0 | |
| obj-$(CONFIG_DEVICE_MODULES_TEE) += tee.o | |
| tee-objs += tee_core.o | |
| tee-objs += tee_shm.o | |
| tee-objs += tee_shm_pool.o | |
| obj-$(CONFIG_DEVICE_MODULES_OPTEE) += optee/ | |
| obj-$(CONFIG_TEE_PERF_SUPPORT) += teeperf/ | |
| obj-$(CONFIG_TRUSTONIC_TEE_SUPPORT) += gud/ | |
| obj-$(CONFIG_MICROTRUST_TEE_SUPPORT) += teei/ |