1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for Kernel-based Virtual Machine module, HYP/VHE part
6 asflags-y
:= -D__KVM_VHE_HYPERVISOR__
7 ccflags-y
:= -D__KVM_VHE_HYPERVISOR__
9 CFLAGS_switch.o
+= -Wno-override-init
11 obj-y
:= timer-sr.o sysreg-sr.o debug-sr.o switch.o tlb.o
12 obj-y
+= ..
/vgic-v3-sr.o ..
/aarch32.o ..
/vgic-v2-cpuif-proxy.o ..
/entry.o \
13 ..
/fpsimd.o ..
/hyp-entry.o ..
/exception.o