acpi_gic: Add helper for platform gicc
[coreboot2.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