1# SPDX-License-Identifier: GPL-2.0 2OBJECT_FILES_NON_STANDARD_head.o := y 3 4obj-$(CONFIG_XEN_PVH) += enlighten.o 5obj-$(CONFIG_XEN_PVH) += head.o 6