1 CONFIG_COLLECT_TIMESTAMPS=y
3 CONFIG_CBFS_SIZE=0x800000
4 CONFIG_BOARD_INTEL_HARCUVAR=y
5 # CONFIG_DRIVERS_UART_8250IO is not set
7 CONFIG_UART_PCI_ADDR=0x8000d000
9 #Sample settings for Denverton-NS FSP.
10 #CONFIG_ADD_FSP_BINARIES=y
11 #CONFIG_FSP_M_FILE="../intel/fsp/denverton_ns/DENVERTON-NS_FSP_M.fd"
12 #CONFIG_FSP_S_FILE="../intel/fsp/denverton_ns/DENVERTON-NS_FSP_S.fd"
13 #CONFIG_FSP_T_FILE="../intel/fsp/denverton_ns/DENVERTON-NS_FSP_T.fd"
16 #Sample settings for microcode definitions.
17 #CONFIG_CPU_MICROCODE_HEADER_FILES="../intel/cpu/denverton_ns/microcode/microcode_blob.h"
18 #CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_HEADER=y