payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / compulab / intense_pc / 
tree4d36ed3dd55c98e805ea7230687b5c755beca839
drwxr-xr-x   ..
-rw-r--r-- 860 Kconfig
-rw-r--r-- 52 Kconfig.name
-rw-r--r-- 164 Makefile.inc
drwxr-xr-x - acpi
-rw-r--r-- 134 board_info.txt
-rw-r--r-- 2935 devicetree.cb
-rw-r--r-- 721 dsdt.asl
-rw-r--r-- 1675 early_init.c
-rw-r--r-- 346 gma-mainboard.ads
-rw-r--r-- 5270 gpio.c
-rw-r--r-- 1120 hda_verb.c
-rw-r--r-- 617 mainboard.c