drivers/virt/acrn/Makefile - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 obj-$(CONFIG_ACRN_HSM)	:= acrn.o
 acrn-y := hsm.o vm.o mm.o ioreq.o ioeventfd.o irqfd.o
	# SPDX-License-Identifier: GPL-2.0
	obj-$(CONFIG_ACRN_HSM) := acrn.o
	acrn-y := hsm.o vm.o mm.o ioreq.o ioeventfd.o irqfd.o