1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for the ipmi drivers. 4# 5 6ipmi_si-y := ipmi_si_intf.o ipmi_kcs_sm.o ipmi_smic_sm.o ipmi_bt_sm.o 7 8obj-$(CONFIG_IPMI_HANDLER) += ipmi_msghandler.o 9obj-$(CONFIG_IPMI_DEVICE_INTERFACE) += ipmi_devintf.o 10obj-$(CONFIG_IPMI_SI) += ipmi_si.o 11obj-$(CONFIG_IPMI_DMI_DECODE) += ipmi_dmi.o 12obj-$(CONFIG_IPMI_SSIF) += ipmi_ssif.o 13obj-$(CONFIG_IPMI_POWERNV) += ipmi_powernv.o 14obj-$(CONFIG_IPMI_WATCHDOG) += ipmi_watchdog.o 15obj-$(CONFIG_IPMI_POWEROFF) += ipmi_poweroff.o 16obj-$(CONFIG_ASPEED_BT_IPMI_BMC) += bt-bmc.o 17