18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for Kernel-based Virtual Machine module, HYP part 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciincdir := $(srctree)/$(src)/include 78c2ecf20Sopenharmony_cisubdir-asflags-y := -I$(incdir) 88c2ecf20Sopenharmony_cisubdir-ccflags-y := -I$(incdir) \ 98c2ecf20Sopenharmony_ci -fno-stack-protector \ 108c2ecf20Sopenharmony_ci -DDISABLE_BRANCH_PROFILING \ 118c2ecf20Sopenharmony_ci $(DISABLE_STACKLEAK_PLUGIN) 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciobj-$(CONFIG_KVM) += vhe/ nvhe/ pgtable.o smccc_wa.o 14