Searched +path:coreboot +path:src +path:drivers +path:ipmi +path:ocp (Results 1 – 6 of 6) sorted by relevance
| /aosp_15_r20/external/coreboot/src/drivers/ipmi/ocp/ | ||
| H A D | Kconfig | |
| H A D | Makefile.mk | |
| H A D | ipmi_ocp_romstage.c | |
| H A D | ipmi_ocp.c | |
| H A D | ipmi_ocp.h | |
| H A D | ipmi_sel.c | |