xref: /linux/arch/x86/platform/pvh/Makefile (revision 3c2d73de49be528276474c1a53f78b38ee11c1fa)
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