drivers/virt/coco/guest/Makefile - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 obj-$(CONFIG_TSM_REPORTS)	+= tsm_report.o
 tsm_report-y := report.o
 obj-$(CONFIG_TSM_MEASUREMENTS)	+= tsm-mr.o
	# SPDX-License-Identifier: GPL-2.0
	obj-$(CONFIG_TSM_REPORTS) += tsm_report.o
	tsm_report-y := report.o
	obj-$(CONFIG_TSM_MEASUREMENTS) += tsm-mr.o