/src/drivers/ipmi/ocp/

• ../
• Kconfig
• Makefile.inc
• ipmi_ocp.c
• ipmi_ocp.h
• ipmi_ocp_romstage.c