1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for RISC-V KVM support
6 ccflags-y
+= -I
$(srctree
)/$(src
)
8 include $(srctree
)/virt
/kvm
/Makefile.kvm
10 obj-
$(CONFIG_KVM
) += kvm.o
20 kvm-y
+= vcpu_vector.o
22 kvm-y
+= vcpu_switch.o
24 kvm-
$(CONFIG_RISCV_SBI_V01
) += vcpu_sbi_v01.o
25 kvm-y
+= vcpu_sbi_base.o
26 kvm-y
+= vcpu_sbi_replace.o
27 kvm-y
+= vcpu_sbi_hsm.o
29 kvm-
$(CONFIG_RISCV_PMU_SBI
) += vcpu_pmu.o vcpu_sbi_pmu.o