drivers/virt/Makefile - SHIFTPHONES/kernel/common - Gitiles

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

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

 obj-$(CONFIG_NITRO_ENCLAVES)	+= nitro_enclaves/
	# SPDX-License-Identifier: GPL-2.0-only
	#
	# Makefile for drivers that support virtualization
	#

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

	obj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/