payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / hp / snb_ivb_laptops / 
tree008070d7d994faeee55444d1f6ee5a1a045bf32a
drwxr-xr-x   ..
-rw-r--r-- 4218 Kconfig
-rw-r--r-- 500 Kconfig.name
-rw-r--r-- 463 Makefile.inc
drwxr-xr-x - acpi
-rw-r--r-- 236 acpi_tables.c
-rw-r--r-- 82 board_info.txt
-rw-r--r-- 93 cmos.default
-rw-r--r-- 1420 cmos.layout
-rw-r--r-- 1946 devicetree.cb
-rw-r--r-- 721 dsdt.asl
-rw-r--r-- 414 mainboard.c
drwxr-xr-x - spd
drwxr-xr-x - variants