| 123456789101112131415161718192021222324252627 |
- # SPDX-License-Identifier: GPL-2.0
- #
- # Makefile for RISC-V KVM support
- #
- ccflags-y += -I $(srctree)/$(src)
- include $(srctree)/virt/kvm/Makefile.kvm
- obj-$(CONFIG_KVM) += kvm.o
- kvm-y += main.o
- kvm-y += vm.o
- kvm-y += vmid.o
- kvm-y += tlb.o
- kvm-y += mmu.o
- kvm-y += vcpu.o
- kvm-y += vcpu_exit.o
- kvm-y += vcpu_fp.o
- kvm-y += vcpu_insn.o
- kvm-y += vcpu_switch.o
- kvm-y += vcpu_sbi.o
- kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o
- kvm-y += vcpu_sbi_base.o
- kvm-y += vcpu_sbi_replace.o
- kvm-y += vcpu_sbi_hsm.o
- kvm-y += vcpu_timer.o
|
