acpi_gic: Add helper for platform gicc
[coreboot2.git] / src / mainboard / intel / coffeelake_rvp / 
tree2ec22dfa003781ae23def17aa1ac2e6ca650de95
drwxr-xr-x   ..
-rw-r--r-- 3111 Kconfig
-rw-r--r-- 438 Kconfig.name
-rw-r--r-- 706 Makefile.mk
-rw-r--r-- 115 board_info.txt
-rw-r--r-- 291 bootblock.c
-rw-r--r-- 612 chromeos.c
-rw-r--r-- 1077 chromeos.fmd
-rw-r--r-- 1051 chromeos_32MB.fmd
-rw-r--r-- 573 dsdt.asl
-rw-r--r-- 1025 mainboard.c
-rw-r--r-- 1324 memory.c
-rw-r--r-- 264 romstage.c
drwxr-xr-x - variants