1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for RISC-V KVM support 4 # 5 6 ccflags-y += -I $(src) 7 8 include $(srctree)/virt/kvm/Makefile.kvm 9 10 obj-$(CONFIG_KVM) += kvm.o 11 12 kvm-y += main.o 13 kvm-y += vm.o 14 kvm-y += vmid.o 15 kvm-y += tlb.o 16 kvm-y += mmu.o 17 kvm-y += vcpu.o 18 kvm-y += vcpu_exit.o 19 kvm-y += vcpu_fp.o 20 kvm-y += vcpu_vector.o 21 kvm-y += vcpu_insn.o 22 kvm-y += vcpu_onereg.o 23 kvm-y += vcpu_switch.o 24 kvm-y += vcpu_sbi.o 25 kvm-$(CONFIG_RISCV_SBI_V01) += vcpu_sbi_v01.o 26 kvm-y += vcpu_sbi_base.o 27 kvm-y += vcpu_sbi_replace.o 28 kvm-y += vcpu_sbi_hsm.o 29 kvm-y += vcpu_sbi_sta.o 30 kvm-y += vcpu_timer.o 31 kvm-$(CONFIG_RISCV_PMU_SBI) += vcpu_pmu.o vcpu_sbi_pmu.o 32 kvm-y += aia.o 33 kvm-y += aia_device.o 34 kvm-y += aia_aplic.o 35 kvm-y += aia_imsic.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.