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 70ba002bcSHans de Goedeobj-y += vboxguest/ 80f5c7b74SAndra Paraschiv 90f5c7b74SAndra Paraschivobj-$(CONFIG_NITRO_ENCLAVES) += nitro_enclaves/ 10*666834c4SShuo Liuobj-$(CONFIG_ACRN_HSM) += acrn/ 11