xref: /linux/drivers/tee/optee/Makefile (revision 39f75da7bcc829ddc4d40bb60d0e95520de7898b)
1# SPDX-License-Identifier: GPL-2.0
2obj-$(CONFIG_OPTEE) += optee.o
3optee-objs += core.o
4optee-objs += call.o
5optee-objs += rpc.o
6optee-objs += supp.o
7optee-objs += shm_pool.o
8optee-objs += device.o
9
10# for tracing framework to find optee_trace.h
11CFLAGS_call.o := -I$(src)
12