Merge branches 'clk-samsung', 'clk-formatting', 'clk-si5341' and 'clk-socfpga' into...
[platform/kernel/linux-rpi.git] / drivers / tee / Makefile
1 # SPDX-License-Identifier: GPL-2.0
2 obj-$(CONFIG_TEE) += tee.o
3 tee-objs += tee_core.o
4 tee-objs += tee_shm.o
5 tee-objs += tee_shm_pool.o
6 obj-$(CONFIG_OPTEE) += optee/
7 obj-$(CONFIG_AMDTEE) += amdtee/