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