# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for drivers that support virtualization
obj-$(CONFIG_FSL_HV_MANAGER) += fsl_hypervisor.o
obj-$(CONFIG_JAILHOUSE_DBGCON) += jailhouse_dbgcon.o
obj-y += vboxguest/