xref: /linux/arch/x86/platform/pvh/Makefile (revision 566ab427f827b0256d3e8ce0235d088e6a9c28bd)
1# SPDX-License-Identifier: GPL-2.0
2OBJECT_FILES_NON_STANDARD_head.o := y
3KASAN_SANITIZE := n
4
5obj-$(CONFIG_PVH) += enlighten.o
6obj-$(CONFIG_PVH) += head.o
7