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
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.