| ## SPDX-License-Identifier: GPL-2.0-only | |
| ramstage-$(CONFIG_IPMI_KCS) += ipmi_if.c | |
| ramstage-$(CONFIG_IPMI_KCS) += ipmi_kcs.c | |
| ramstage-$(CONFIG_IPMI_KCS) += ipmi_kcs_ops.c | |
| ramstage-$(CONFIG_IPMI_KCS) += ipmi_ops.c | |
| ramstage-$(CONFIG_IPMI_KCS) += ipmi_fru.c | |
| ramstage-$(CONFIG_DRIVERS_IPMI_SUPERMICRO_OEM) += supermicro_oem.c | |
| romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_if.c | |
| romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ops_premem.c | |
| romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_kcs.c | |
| romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ops.c | |
| smm-$(CONFIG_SOC_RAS_BMC_SEL) += ipmi_kcs.c |