drivers/ipmi: Replace <build.h> with <version.h>
[coreboot.git] / spd / ddr4 / 
tree638ce783d06514107e1db728e4311875fadc8089
drwxr-xr-x   ..
-rw-r--r-- 8301 memory_parts.json
-rw-r--r-- 95 platforms_manifest.generated.txt
drwxr-xr-x - set-0