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