src/drivers/ipmi/ocp/Kconfig

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