1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for Kernel-based Virtual Machine module 4# 5 6ccflags-y += -I $(srctree)/$(src) 7 8include $(srctree)/virt/kvm/Makefile.kvm 9 10obj-$(CONFIG_KVM) += kvm.o 11obj-$(CONFIG_KVM) += hyp/ 12 13kvm-y += arm.o mmu.o mmio.o psci.o perf.o hypercalls.o pvtime.o \ 14 inject_fault.o va_layout.o handle_exit.o \ 15 guest.o debug.o reset.o sys_regs.o \ 16 vgic-sys-reg-v3.o fpsimd.o pmu.o \ 17 arch_timer.o trng.o\ 18 vgic/vgic.o vgic/vgic-init.o \ 19 vgic/vgic-irqfd.o vgic/vgic-v2.o \ 20 vgic/vgic-v3.o vgic/vgic-v4.o \ 21 vgic/vgic-mmio.o vgic/vgic-mmio-v2.o \ 22 vgic/vgic-mmio-v3.o vgic/vgic-kvm-device.o \ 23 vgic/vgic-its.o vgic/vgic-debug.o 24 25kvm-$(CONFIG_HW_PERF_EVENTS) += pmu-emul.o 26