176217129SDavid Brazdil# SPDX-License-Identifier: GPL-2.0 276217129SDavid Brazdil# 3*e1b32533SZhiyuan Dai# Makefile for Kernel-based Virtual Machine module, HYP/VHE part 476217129SDavid Brazdil# 576217129SDavid Brazdil 676217129SDavid Brazdilasflags-y := -D__KVM_VHE_HYPERVISOR__ 776217129SDavid Brazdilccflags-y := -D__KVM_VHE_HYPERVISOR__ 876217129SDavid Brazdil 9c04dd455SDavid Brazdilobj-y := timer-sr.o sysreg-sr.o debug-sr.o switch.o tlb.o 10c04dd455SDavid Brazdilobj-y += ../vgic-v3-sr.o ../aarch32.o ../vgic-v2-cpuif-proxy.o ../entry.o \ 11e650b64fSMarc Zyngier ../fpsimd.o ../hyp-entry.o ../exception.o 12