acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / purism / librem_bdw / 
treedee15b11e481801f4b5a5918b34e8528edef2289
drwxr-xr-x   ..
-rw-r--r-- 1817 Kconfig
-rw-r--r-- 149 Kconfig.name
-rw-r--r-- 227 Makefile.mk
drwxr-xr-x - acpi
-rw-r--r-- 168 board_info.txt
-rw-r--r-- 4608 data.vbt
-rw-r--r-- 2069 devicetree.cb
-rw-r--r-- 682 dsdt.asl
-rw-r--r-- 284 gma-mainboard.ads
-rw-r--r-- 2376 gpio.c
-rw-r--r-- 806 hda_verb.c
-rw-r--r-- 377 mainboard.c
drwxr-xr-x - variants