Index of /external/coreboot/src/drivers/ipmi/ocp/

../
Kconfig                                            24-Feb-2026 12:55                 393
Makefile.mk                                        24-Feb-2026 12:55                 241
ipmi_ocp.c                                         24-Feb-2026 12:55                2430
ipmi_ocp.h                                         24-Feb-2026 12:55                5792
ipmi_ocp_romstage.c                                24-Feb-2026 12:55                2053
ipmi_sel.c                                         24-Feb-2026 12:55                3376