drivers/tee/optee/Makefile - manifest_repos/kernel - Git at Google

 obj-$(CONFIG_OPTEE) += optee.o
 optee-objs += core.o
 optee-objs += call.o
 optee-objs += rpc.o
 optee-objs += supp.o
 optee-objs += shm_pool.o
	obj-$(CONFIG_OPTEE) += optee.o
	optee-objs += core.o
	optee-objs += call.o
	optee-objs += rpc.o
	optee-objs += supp.o
	optee-objs += shm_pool.o