1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for Kernel-based Virtual Machine module, HYP/VHE part 4 # 5 6 asflags-y := -D__KVM_VHE_HYPERVISOR__ 7 ccflags-y := -D__KVM_VHE_HYPERVISOR__ 8 9 CFLAGS_switch.o += -Wno-override-init 10 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.