1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for Kernel-based Virtual Machine module 4# 5 6ccflags-y += -I $(srctree)/$(src) 7 8KVM=../../../virt/kvm 9 10obj-$(CONFIG_KVM) += kvm.o 11obj-$(CONFIG_KVM) += hyp/ 12 13kvm-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 \ 19 arch_timer.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 26 27kvm-$(CONFIG_KVM_ARM_PMU) += pmu-emul.o 28