# SPDX-License-Identifier: GPL-2.0
|
#
|
# Makefile for Kernel-based Virtual Machine module
|
#
|
|
ccflags-y += -I $(srctree)/$(src)
|
|
KVM=../../../virt/kvm
|
|
obj-$(CONFIG_KVM) += kvm.o
|
obj-$(CONFIG_KVM) += hyp/
|
|
kvm-y := $(KVM)/kvm_main.o $(KVM)/coalesced_mmio.o $(KVM)/eventfd.o \
|
$(KVM)/vfio.o $(KVM)/irqchip.o \
|
arm.o mmu.o mmio.o psci.o perf.o hypercalls.o pvtime.o \
|
inject_fault.o va_layout.o handle_exit.o \
|
guest.o debug.o reset.o sys_regs.o \
|
vgic-sys-reg-v3.o fpsimd.o pmu.o \
|
arch_timer.o trng.o\
|
vgic/vgic.o vgic/vgic-init.o \
|
vgic/vgic-irqfd.o vgic/vgic-v2.o \
|
vgic/vgic-v3.o vgic/vgic-v4.o \
|
vgic/vgic-mmio.o vgic/vgic-mmio-v2.o \
|
vgic/vgic-mmio-v3.o vgic/vgic-kvm-device.o \
|
vgic/vgic-its.o vgic/vgic-debug.o
|
|
kvm-$(CONFIG_HW_PERF_EVENTS) += pmu-emul.o
|
