1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for RISC-V KVM support
8 include $(srctree
)/virt
/kvm
/Makefile.kvm
10 obj-
$(CONFIG_KVM
) += kvm.o
12 # Ordered alphabetically
25 kvm-y
+= vcpu_onereg.o
26 kvm-
$(CONFIG_RISCV_PMU_SBI
) += vcpu_pmu.o
28 kvm-y
+= vcpu_sbi_base.o
29 kvm-y
+= vcpu_sbi_hsm.o
30 kvm-
$(CONFIG_RISCV_PMU_SBI
) += vcpu_sbi_pmu.o
31 kvm-y
+= vcpu_sbi_replace.o
32 kvm-y
+= vcpu_sbi_sta.o
33 kvm-
$(CONFIG_RISCV_SBI_V01
) += vcpu_sbi_v01.o
34 kvm-y
+= vcpu_switch.o
36 kvm-y
+= vcpu_vector.o