acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / google / octopus / variants / meep / 
tree5d295b4e338d77625353f8255f55a02cd04852d1
drwxr-xr-x   ..
-rw-r--r-- 261 Makefile.mk
-rw-r--r-- 5632 data.vbt
-rw-r--r-- 5632 dorp-hdmi-data.vbt
-rw-r--r-- 2514 gpio.c
drwxr-xr-x - include
-rw-r--r-- 8601 overridetree.cb
-rw-r--r-- 1041 variant.c
-rw-r--r-- 5632 vortininja-data.vbt