# type this to get working .config:
#   make defconfig KBUILD_DEFCONFIG=configs/builder/config.intel.cpx.crb

CONFIG_VENDOR_INTEL=y
CONFIG_BOARD_INTEL_CEDARISLAND_CRB=y
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y
CONFIG_USE_CPU_MICROCODE_CBFS_BINS=y
CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y
CONFIG_CPU_UCODE_BINARIES="site-local/cedarisland_crb/ucode-05-06-5a"
CONFIG_ADD_FSP_BINARIES=y
CONFIG_FSP_T_FILE="site-local/cedarisland_crb/Server_T.fd"
CONFIG_FSP_M_FILE="site-local/cedarisland_crb/Server_M.fd"
CONFIG_FSP_S_FILE="site-local/cedarisland_crb/Server_S.fd"
CONFIG_ME_BIN_PATH="site-local/cedarisland_crb/me.bin"
CONFIG_IFD_BIN_PATH="site-local/cedarisland_crb/descriptor.bin"