1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for Kernel-based Virtual Machine module
6 ccflags-y
+= -I
$(srctree
)/$(src
)
10 obj-
$(CONFIG_KVM
) += kvm.o
11 obj-
$(CONFIG_KVM
) += hyp
/
13 kvm-y
:= $(KVM
)/kvm_main.o
$(KVM
)/coalesced_mmio.o
$(KVM
)/eventfd.o \
14 $(KVM
)/vfio.o
$(KVM
)/irqchip.o \
15 arm.o mmu.o mmio.o psci.o perf.o hypercalls.o pvtime.o \
16 inject_fault.o va_layout.o handle_exit.o \
17 guest.o debug.o reset.o sys_regs.o \
18 vgic-sys-reg-v3.o fpsimd.o pmu.o \
20 vgic
/vgic.o vgic
/vgic-init.o \
21 vgic
/vgic-irqfd.o vgic
/vgic-v2.o \
22 vgic
/vgic-v3.o vgic
/vgic-v4.o \
23 vgic
/vgic-mmio.o vgic
/vgic-mmio-v2.o \
24 vgic
/vgic-mmio-v3.o vgic
/vgic-kvm-device.o \
25 vgic
/vgic-its.o vgic
/vgic-debug.o
27 kvm-
$(CONFIG_KVM_ARM_PMU
) += pmu-emul.o
