drivers/tee/optee/Makefile

# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_DEVICE_MODULES_OPTEE) += optee.o
optee-objs += core.o
optee-objs += call.o
optee-objs += rpc.o
optee-objs += supp.o
optee-objs += shm_pool.o
optee-objs += device.o
ifneq ($(filter y m, $(CONFIG_DEVICE_MODULES_OPTEE_REE_CLK_CTRL)),)
optee-objs += optee_clk_ctrl.o
endif
ifneq ($(filter y m, $(CONFIG_DEVICE_MODULES_OPTEE_REE_CONSOLE)),)
optee-objs += optee_kreeconsole.o
endif
optee-objs += $(optee-objs-y)
# for tracing framework to find optee_trace.h
CFLAGS_call.o := -I$(srctree)/$(src)