ipmi/ocp: Remove duplicate IPMI OEM command set processor information
[coreboot.git] / tests / 
treecc4f85178a3887a25b8363d59e8a84ac26f9f208
drwxr-xr-x   ..
-rw-r--r-- 5959 Makefile.inc
drwxr-xr-x - acpi
drwxr-xr-x - commonlib
drwxr-xr-x - device
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - stubs