123c996fcSCharlie Jenkins# SPDX-License-Identifier: GPL-2.0-only 223c996fcSCharlie Jenkins 323c996fcSCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_ANDES) += andes.o 4a8fed1bcSAleksa Paunovicobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_MIPS) += mips.o 5*bb4b0f8aSAleksa Paunovicobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_MIPS) += mips_hwprobe.o 62d147d77SCyan Yangobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_SIFIVE) += sifive.o 71a6274f0SCyan Yangobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_SIFIVE) += sifive_hwprobe.o 8cddd6386SCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_THEAD) += thead.o 9a5ea53daSCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_THEAD) += thead_hwprobe.o 10