1## SPDX-License-Identifier: GPL-2.0-only 2 3ramstage-$(CONFIG_IPMI_OCP) += ipmi_ocp.c ipmi_sel.c 4ifeq ($(CONFIG_IPMI_OCP),y) 5romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ocp_romstage.c ipmi_sel.c 6smm-$(CONFIG_IPMI_BMC_SEL) += ipmi_sel.c 7endif 8
1## SPDX-License-Identifier: GPL-2.0-only 2 3ramstage-$(CONFIG_IPMI_OCP) += ipmi_ocp.c ipmi_sel.c 4ifeq ($(CONFIG_IPMI_OCP),y) 5romstage-$(CONFIG_IPMI_KCS_ROMSTAGE) += ipmi_ocp_romstage.c ipmi_sel.c 6smm-$(CONFIG_IPMI_BMC_SEL) += ipmi_sel.c 7endif 8