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