1 # SPDX-License-Identifier: GPL-2.0 1 # SPDX-License-Identifier: GPL-2.0
>> 2 # Makefile for KVM support for MIPS
2 # 3 #
3 # Makefile for Kernel-based Virtual Machine mo <<
4 # <<
5 <<
6 ccflags-y += -I $(src) <<
7 4
8 include $(srctree)/virt/kvm/Makefile.kvm 5 include $(srctree)/virt/kvm/Makefile.kvm
9 6
10 obj-$(CONFIG_KVM) += kvm.o !! 7 ccflags-y += -Ivirt/kvm -Iarch/mips/kvm
11 obj-$(CONFIG_KVM) += hyp/ <<
12 <<
13 CFLAGS_sys_regs.o += -Wno-override-init <<
14 CFLAGS_handle_exit.o += -Wno-override-init <<
15 <<
16 kvm-y += arm.o mmu.o mmio.o psci.o hypercalls. <<
17 inject_fault.o va_layout.o handle_exi <<
18 guest.o debug.o reset.o sys_regs.o st <<
19 vgic-sys-reg-v3.o fpsimd.o pkvm.o \ <<
20 arch_timer.o trng.o vmid.o emulate-ne <<
21 vgic/vgic.o vgic/vgic-init.o \ <<
22 vgic/vgic-irqfd.o vgic/vgic-v2.o \ <<
23 vgic/vgic-v3.o vgic/vgic-v4.o \ <<
24 vgic/vgic-mmio.o vgic/vgic-mmio-v2.o <<
25 vgic/vgic-mmio-v3.o vgic/vgic-kvm-dev <<
26 vgic/vgic-its.o vgic/vgic-debug.o <<
27 <<
28 kvm-$(CONFIG_HW_PERF_EVENTS) += pmu-emul.o pm <<
29 kvm-$(CONFIG_ARM64_PTR_AUTH) += pauth.o <<
30 kvm-$(CONFIG_PTDUMP_STAGE2_DEBUGFS) += ptdump. <<
31 <<
32 always-y := hyp_constants.h hyp-constants.s <<
33 <<
34 define rule_gen_hyp_constants <<
35 $(call filechk,offsets,__HYP_CONSTANTS <<
36 endef <<
37 <<
38 CFLAGS_hyp-constants.o = -I $(src)/hyp/include <<
39 $(obj)/hyp-constants.s: $(src)/hyp/hyp-constan <<
40 $(call if_changed_dep,cc_s_c) <<
41 8
42 $(obj)/hyp_constants.h: $(obj)/hyp-constants.s !! 9 kvm-$(CONFIG_CPU_HAS_MSA) += msa.o
43 $(call if_changed_rule,gen_hyp_constan <<
44 10
45 obj-kvm := $(addprefix $(obj)/, $(kvm-y)) !! 11 kvm-y += mips.o emulate.o entry.o \
46 $(obj-kvm): $(obj)/hyp_constants.h !! 12 interrupt.o stats.o \
>> 13 fpu.o
>> 14 kvm-y += hypcall.o
>> 15 kvm-y += mmu.o
>> 16 kvm-$(CONFIG_CPU_LOONGSON64) += loongson_ipi.o
>> 17
>> 18 kvm-y += vz.o
>> 19 obj-$(CONFIG_KVM) += kvm.o
>> 20 obj-y += tlb.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.