drivers/virt/Makefile

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 #
   3 # Makefile for drivers that support virtualization
   4 #
   5
   6 obj-$(CONFIG_FSL_HV_MANAGER)    += fsl_hypervisor.o
   7 obj-$(CONFIG_VMGENID)           += vmgenid.o
   8 obj-y                           += vboxguest/
   9
  10 obj-$(CONFIG_NITRO_ENCLAVES)    += nitro_enclaves/
  11 obj-$(CONFIG_ACRN_HSM)          += acrn/
  12 obj-$(CONFIG_EFI_SECRET)        += coco/efi_secret/
  13 obj-$(CONFIG_SEV_GUEST)         += coco/sev-guest/
  14 obj-$(CONFIG_INTEL_TDX_GUEST)   += coco/tdx-guest/