1#
2# Makefile for drivers that support virtualization
3#
4
5obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o

1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Makefile for drivers that support virtualization
4#
5
6obj-$(CONFIG_FSL_HV_MANAGER)	+= fsl_hypervisor.o
7obj-y				+= vboxguest