Index of /data/main/c/coreboot/24.12+dfsg-2/src/drivers/ipmi/ocp

• Parent Directory
• Kconfig
• Makefile.mk
• ipmi_ocp.c
• ipmi_ocp.h
• ipmi_ocp_romstage.c
• ipmi_sel.c