acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / ocp / 
tree153f454cfdc1bc7172c28d6fe297f3d1cf516158
drwxr-xr-x   ..
-rw-r--r-- 267 Kconfig
-rw-r--r-- 89 Kconfig.name
drwxr-xr-x - deltalake
drwxr-xr-x - tiogapass