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
21 kvm-y += vcpu_switch.o
23 kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o
24 kvm-y += vcpu_sbi_base.o
25 kvm-y += vcpu_sbi_replace.o
26 kvm-y += vcpu_sbi_hsm.o