# SPDX-License-Identifier: GPL-2.0
OBJECT_FILES_NON_STANDARD_head.o := y

# This code runs prior to KASAN page table setup, so better not calls out to
# external functions.
KASAN_SANITIZE	:= n
KCOV_INSTRUMENT	:= n
GCOV_PROFILE	:= n

obj-$(CONFIG_PVH) += enlighten.o
obj-$(CONFIG_PVH) += head.o
