1# type this to get working .config: 2# make defconfig KBUILD_DEFCONFIG=configs/builder/config.ocp.deltalake 3 4CONFIG_VENDOR_OCP=y 5CONFIG_BOARD_OCP_DELTALAKE=y 6CONFIG_UART_FOR_CONSOLE=1 7CONFIG_HAVE_IFD_BIN=y 8CONFIG_ADD_FSP_BINARIES=y 9CONFIG_LINUX_COMMAND_LINE="earlyprintk=uart8250,io,0x2f8,57600n1 console=uart8250,io,0x2f8,57600n1 intel_pstate=disable" 10CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y 11CONFIG_HAVE_ME_BIN=y 12CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y 13# CONFIG_ON_DEVICE_ROM_LOAD is not set 14CONFIG_USE_CPU_MICROCODE_CBFS_BINS=y 15CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_BINS=y 16CONFIG_CPU_UCODE_BINARIES="site-local/deltalake/mbf5065b.mcb" 17CONFIG_ADD_FSP_BINARIES=y 18CONFIG_FSP_T_FILE="site-local/deltalake/Server_T.fd" 19CONFIG_FSP_M_FILE="site-local/deltalake/Server_M.fd" 20CONFIG_FSP_S_FILE="site-local/deltalake/Server_S.fd" 21CONFIG_ME_BIN_PATH="site-local/deltalake/flashregion_2_intel_me.bin" 22CONFIG_IFD_BIN_PATH="site-local/deltalake/flashregion_0_flashdescriptor.bin" 23CONFIG_CONSOLE_SERIAL_57600=y 24CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4=y 25CONFIG_PAYLOAD_LINUX=y 26CONFIG_PAYLOAD_FILE="site-local/deltalake/linuxboot_uroot_ttys0" 27