acpi_gic: Add helper for platform gicc
[coreboot2.git] / .gitreview
blob5d4fcd823f4e6519e6596901c2f0e53d86e5f21d
1 [gerrit]
2 host=review.coreboot.org
3 port=29418
4 project=coreboot
5 defaultbranch=main