# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_ACRN_HV)	+= acrn_hv.o