acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / starlabs / 
tree0f59b359afd6d58c3897495ce1a47a2c261c52e3
drwxr-xr-x   ..
-rw-r--r-- 268 Kconfig
-rw-r--r-- 83 Kconfig.name
drwxr-xr-x - byte_adl
drwxr-xr-x - lite
drwxr-xr-x - starbook
drwxr-xr-x - starfighter
drwxr-xr-x - starlite_adl