1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 26db71994STimur Tabi# 36db71994STimur Tabi# Makefile for drivers that support virtualization 46db71994STimur Tabi# 56db71994STimur Tabi 66db71994STimur Tabiobj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o 7af6b54e2SJason A. Donenfeldobj-$(CONFIG_VMGENID) += vmgenid.o 80ba002bcSHans de Goedeobj-y += vboxguest/ 90f5c7b74SAndra Paraschiv 100f5c7b74SAndra Paraschivobj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 11666834c4SShuo Liuobj-$(CONFIG_ACRN_HSM) += acrn/ 12*cbabf03cSDov Murikobj-$(CONFIG_EFI_SECRET) += coco/efi_secret/ 13