xref: /openbmc/linux/drivers/tee/optee/Makefile (revision 787c80cc)
1b2441318SGreg Kroah-Hartman# SPDX-License-Identifier: GPL-2.0
24fb0a5ebSJens Wiklanderobj-$(CONFIG_OPTEE) += optee.o
34fb0a5ebSJens Wiklanderoptee-objs += core.o
44fb0a5ebSJens Wiklanderoptee-objs += call.o
5*787c80ccSJens Wiklanderoptee-objs += notif.o
64fb0a5ebSJens Wiklanderoptee-objs += rpc.o
74fb0a5ebSJens Wiklanderoptee-objs += supp.o
8c3fa24afSSumit Gargoptee-objs += device.o
9c51a564aSJens Wiklanderoptee-objs += smc_abi.o
104615e5a3SJens Wiklanderoptee-objs += ffa_abi.o
117ccdcaacSJisheng Zhang
127ccdcaacSJisheng Zhang# for tracing framework to find optee_trace.h
13c51a564aSJens WiklanderCFLAGS_smc_abi.o := -I$(src)
14