drivers/virt/Makefile - third_party/kernel - Git at Google

 # SPDX-License-Identifier: GPL-2.0-only
 #
 # Makefile for drivers that support virtualization
 #

 obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
 obj-y				+= vboxguest/
	# SPDX-License-Identifier: GPL-2.0-only
	#
	# Makefile for drivers that support virtualization
	#

	obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o
	obj-y += vboxguest/