18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for Kernel-based Virtual Machine module, HYP/nVHE part 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciasflags-y := -D__KVM_VHE_HYPERVISOR__ 78c2ecf20Sopenharmony_ciccflags-y := -D__KVM_VHE_HYPERVISOR__ 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciobj-y := timer-sr.o sysreg-sr.o debug-sr.o switch.o tlb.o 108c2ecf20Sopenharmony_ciobj-y += ../vgic-v3-sr.o ../aarch32.o ../vgic-v2-cpuif-proxy.o ../entry.o \ 118c2ecf20Sopenharmony_ci ../fpsimd.o ../hyp-entry.o 12