1## SPDX-License-Identifier: GPL-2.0-only 2 3ramstage-$(CONFIG_IPMI_KCS) += ipmi_if.c 4ramstage-$(CONFIG_IPMI_KCS) += ipmi_kcs.c 5ramstage-$(CONFIG_IPMI_KCS) += ipmi_kcs_ops.c 6ramstage-$(CONFIG_IPMI_KCS) += ipmi_ops.c 7ramstage-$(CONFIG_IPMI_KCS) += ipmi_fru.c 8ramstage-$(CONFIG_DRIVERS_IPMI_SUPERMICRO_OEM) += supermicro_oem.c 9romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_if.c 10romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ops_premem.c 11romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_kcs.c 12romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ops.c 13smm-$(CONFIG_SOC_RAS_BMC_SEL) += ipmi_kcs.c 14