1## SPDX-License-Identifier: GPL-2.0-only 2 3config IPMI_OCP 4 bool 5 default n 6 help 7 This implements OCP specific IPMI command 8 9config IPMI_BMC_SEL 10 bool 11 depends on IPMI_OCP 12 default n 13 help 14 This implements OCP specific command to generate/send SEL record 15 16config RAS_SEL_VENDOR_ID 17 hex 18 depends on IPMI_BMC_SEL 19 default 0xff 20 help 21 This option specifies a vendor ID for BMC SEL messages 22