---

Makefile

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

---

docroot: /var/www/469ed2f6-4d4b-4a8a-9f5e-ee4ef04d3bc8/public_html

---

curdir: /usr/src/linux-headers-6.8.0-100/drivers/virt

	.		4096
	..		4096
X	Kconfig		1518
X	Makefile		304
	acrn		4096
	coco		4096
	nitro_enclaves		4096
	vboxguest		4096