payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / dell / snb_ivb_workstations / 
tree386c81ee0f13f321dd29c516b1cb9b38bec73d62
drwxr-xr-x   ..
-rw-r--r-- 1749 Kconfig
-rw-r--r-- 264 Kconfig.name
-rw-r--r-- 779 Makefile.inc
drwxr-xr-x - acpi
-rw-r--r-- 120 board_info.txt
-rw-r--r-- 134 cmos.default
-rw-r--r-- 1435 cmos.layout
-rw-r--r-- 717 dsdt.asl
-rw-r--r-- 1158 early_init.c
-rw-r--r-- 322 gma-mainboard.ads
-rw-r--r-- 5810 gpio.c
-rw-r--r-- 5569 mainboard.c
-rw-r--r-- 2327 romstage.c
-rw-r--r-- 12605 sch5545_ec.c
-rw-r--r-- 3299 sch5545_ec_early.c
-rw-r--r-- 1095 smihandler.c
drwxr-xr-x - variants