1666834c4SShuo Liu# SPDX-License-Identifier: GPL-2.0 2666834c4SShuo Liuobj-$(CONFIG_ACRN_HSM) := acrn.o 3*aa3b483fSShuo Liuacrn-y := hsm.o vm.o mm.o ioreq.o ioeventfd.o irqfd.o 4