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