1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for Kernel-based Virtual Machine module, HYP part 4# 5 6incdir := $(srctree)/$(src)/include 7subdir-asflags-y := -I$(incdir) 8subdir-ccflags-y := -I$(incdir) 9 10obj-$(CONFIG_KVM) += vhe/ nvhe/ pgtable.o 11