payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / ocp / deltalake / 
tree5e3c2255ab5bd46962da3c967a02ff75e9e83adc
drwxr-xr-x   ..
-rw-r--r-- 1036 Kconfig
-rw-r--r-- 45 Kconfig.name
-rw-r--r-- 401 Makefile.inc
drwxr-xr-x - acpi
-rw-r--r-- 398 board.fmd
-rw-r--r-- 94 board_info.txt
-rw-r--r-- 1951 bootblock.c
-rw-r--r-- 4401 devicetree.cb
-rw-r--r-- 558 dsdt.asl
-rw-r--r-- 191 fadt.c
drwxr-xr-x - include
-rw-r--r-- 2590 ipmi.c
-rw-r--r-- 470 ipmi.h
-rw-r--r-- 384 loglevel_vpd.c
-rw-r--r-- 11612 ramstage.c
-rw-r--r-- 6339 romstage.c
-rw-r--r-- 360 uartio_vpd.c
-rw-r--r-- 2243 vpd.h