1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for RISC-V KVM support 4# 5 6ccflags-y += -I $(srctree)/$(src) 7 8include $(srctree)/virt/kvm/Makefile.kvm 9 10obj-$(CONFIG_KVM) += kvm.o 11 12kvm-y += main.o 13kvm-y += vm.o 14kvm-y += vmid.o 15kvm-y += tlb.o 16kvm-y += mmu.o 17kvm-y += vcpu.o 18kvm-y += vcpu_exit.o 19kvm-y += vcpu_fp.o 20kvm-y += vcpu_switch.o 21kvm-y += vcpu_sbi.o 22kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o 23kvm-y += vcpu_sbi_base.o 24kvm-y += vcpu_sbi_replace.o 25kvm-y += vcpu_sbi_hsm.o 26kvm-y += vcpu_timer.o 27