1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for RISC-V KVM support
4#
5
6ccflags-y += -I $(src)
7
8include $(srctree)/virt/kvm/Makefile.kvm
9
10obj-$(CONFIG_KVM) += kvm.o
11
12# Ordered alphabetically
13kvm-y += aia.o
14kvm-y += aia_aplic.o
15kvm-y += aia_device.o
16kvm-y += aia_imsic.o
17kvm-y += main.o
18kvm-y += mmu.o
19kvm-y += nacl.o
20kvm-y += tlb.o
21kvm-y += vcpu.o
22kvm-y += vcpu_exit.o
23kvm-y += vcpu_fp.o
24kvm-y += vcpu_insn.o
25kvm-y += vcpu_onereg.o
26kvm-$(CONFIG_RISCV_PMU_SBI) += vcpu_pmu.o
27kvm-y += vcpu_sbi.o
28kvm-y += vcpu_sbi_base.o
29kvm-y += vcpu_sbi_hsm.o
30kvm-$(CONFIG_RISCV_PMU_SBI) += vcpu_sbi_pmu.o
31kvm-y += vcpu_sbi_replace.o
32kvm-y += vcpu_sbi_sta.o
33kvm-y += vcpu_sbi_system.o
34kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o
35kvm-y += vcpu_switch.o
36kvm-y += vcpu_timer.o
37kvm-y += vcpu_vector.o
38kvm-y += vm.o
39kvm-y += vmid.o
40