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 reserved_mem.o