1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for RISC-V KVM support
4#
5
6ccflags-y += -I $(srctree)/$(src)
7
8KVM := ../../../virt/kvm
9
10obj-$(CONFIG_KVM) += kvm.o
11
12kvm-y += $(KVM)/kvm_main.o
13kvm-y += $(KVM)/coalesced_mmio.o
14kvm-y += $(KVM)/binary_stats.o
15kvm-y += $(KVM)/eventfd.o
16kvm-y += main.o
17kvm-y += vm.o
18kvm-y += vmid.o
19kvm-y += tlb.o
20kvm-y += mmu.o
21kvm-y += vcpu.o
22kvm-y += vcpu_exit.o
23kvm-y += vcpu_fp.o
24kvm-y += vcpu_switch.o
25kvm-y += vcpu_sbi.o
26kvm-y += vcpu_timer.o
27