xref: /linux/arch/riscv/kvm/Makefile (revision 63eb28bb1402891b1ad2be02a530f29a9dd7f1cd)
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 += gstage.o
18kvm-y += main.o
19kvm-y += mmu.o
20kvm-y += nacl.o
21kvm-y += tlb.o
22kvm-y += vcpu.o
23kvm-y += vcpu_exit.o
24kvm-y += vcpu_fp.o
25kvm-y += vcpu_insn.o
26kvm-y += vcpu_onereg.o
27kvm-$(CONFIG_RISCV_PMU_SBI) += vcpu_pmu.o
28kvm-y += vcpu_sbi.o
29kvm-y += vcpu_sbi_base.o
30kvm-y += vcpu_sbi_hsm.o
31kvm-$(CONFIG_RISCV_PMU_SBI) += vcpu_sbi_pmu.o
32kvm-y += vcpu_sbi_replace.o
33kvm-y += vcpu_sbi_sta.o
34kvm-y += vcpu_sbi_system.o
35kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o
36kvm-y += vcpu_switch.o
37kvm-y += vcpu_timer.o
38kvm-y += vcpu_vector.o
39kvm-y += vm.o
40kvm-y += vmid.o
41