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