Current File : //proc/353637/task/353637/cwd/usr/src/linux-headers-6.14.0-1012-aws/arch/x86/platform/pvh/Makefile
# SPDX-License-Identifier: GPL-2.0
OBJECT_FILES_NON_STANDARD_head.o := y
KASAN_SANITIZE := n

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