drivers/tee/optee/Makefile - u-boot - Git at Google

 # SPDX-License-Identifier: GPL-2.0+

 obj-y += core.o
 obj-y += supplicant.o
 obj-$(CONFIG_SUPPORT_EMMC_RPMB) += rpmb.o
 obj-$(CONFIG_OPTEE_RAW_PARTITION_IO) += raw_io.o
	# SPDX-License-Identifier: GPL-2.0+

	obj-y += core.o
	obj-y += supplicant.o
	obj-$(CONFIG_SUPPORT_EMMC_RPMB) += rpmb.o
	obj-$(CONFIG_OPTEE_RAW_PARTITION_IO) += raw_io.o