acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / google / brox / 
treef2786aad292270138d1b345f8679295f0452b650
drwxr-xr-x   ..
-rw-r--r-- 6074 Kconfig
-rw-r--r-- 369 Kconfig.name
-rw-r--r-- 833 Makefile.mk
drwxr-xr-x - acpi
-rw-r--r-- 108 board_info.txt
-rw-r--r-- 395 bootblock.c
-rw-r--r-- 526 chromeos.c
-rw-r--r-- 1370 chromeos.fmd
-rw-r--r-- 1135 dsdt.asl
-rw-r--r-- 612 ec.c
-rw-r--r-- 75 hda_verb.c
-rw-r--r-- 3381 mainboard.c
-rw-r--r-- 1064 romstage.c
-rw-r--r-- 800 smihandler.c
drwxr-xr-x - spd
drwxr-xr-x - variants
-rw-r--r-- 247 wwan_power.asl