123c996fcSCharlie Jenkins# SPDX-License-Identifier: GPL-2.0-only 223c996fcSCharlie Jenkins 323c996fcSCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_ANDES) += andes.o 4cddd6386SCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_THEAD) += thead.o 5*a5ea53daSCharlie Jenkinsobj-$(CONFIG_RISCV_ISA_VENDOR_EXT_THEAD) += thead_hwprobe.o 6