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