Makefile (cdd38c5f1ce4398ec58fec95904b75824daab7b5) Makefile (f320bc742bc23c1d43567712fe2814bf04b19ebc)
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 -fno-stack-protector \
10 -DDISABLE_BRANCH_PROFILING \
11 $(DISABLE_STACKLEAK_PLUGIN)
12
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 -fno-stack-protector \
10 -DDISABLE_BRANCH_PROFILING \
11 $(DISABLE_STACKLEAK_PLUGIN)
12
13obj-$(CONFIG_KVM) += vhe/ nvhe/ pgtable.o
13obj-$(CONFIG_KVM) += vhe/ nvhe/ pgtable.o reserved_mem.o