drivers/ipmi: Replace <build.h> with <version.h>
[coreboot.git] / spd / lp5 / 
tree48496fbcfcd5a3a6c18890adc1b11104bff37ddf
drwxr-xr-x   ..
-rw-r--r-- 7060 memory_parts.json
-rw-r--r-- 116 platforms_manifest.generated.txt
drwxr-xr-x - set-0
drwxr-xr-x - set-1