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/ 8