# This image was built using coreboot 4.9-1491-g4d6cfc82ed
CONFIG_USE_OPTION_TABLE=y
CONFIG_TIMESTAMPS_ON_CONSOLE=y
CONFIG_BOOTSPLASH_IMAGE=y
CONFIG_VENDOR_LENOVO=y
CONFIG_CBFS_SIZE=0x400000
CONFIG_VGA_BIOS_ID="8086,0166"
# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
CONFIG_VGA_BIOS=y
CONFIG_IFD_BIN_PATH="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/ifd_shrinked.bin"
CONFIG_ME_BIN_PATH="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/me_shrinked.bin"
CONFIG_HAVE_IFD_BIN=y
CONFIG_BOARD_LENOVO_T430S=y
CONFIG_DRIVERS_PS2_KEYBOARD=y
CONFIG_PCIEXP_CLK_PM=y
# CONFIG_SET_IA32_FC_LOCK_BIT is not set
CONFIG_NATIVE_RAMINIT_IGNORE_MAX_MEM_FUSES=y
CONFIG_NATIVE_RAMINIT_IGNORE_XMP_MAX_DIMMS=y
# CONFIG_INTEL_CHIPSET_LOCKDOWN is not set
CONFIG_SEABIOS_PS2_TIMEOUT=3000
# CONFIG_H8_BEEP_ON_DEATH is not set
CONFIG_HAVE_ME_BIN=y
CONFIG_HAVE_GBE_BIN=y
CONFIG_VGA_ROM_RUN=y
# CONFIG_INTEL_GMA_ADD_VBT is not set
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_DEBUG_TPM=y
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
CONFIG_NO_POST=y
CONFIG_PXE=y
CONFIG_BUILD_IPXE=y
CONFIG_IPXE_MASTER=y
CONFIG_PXE_ROM_ID="8086,1502"
CONFIG_COMPRESSED_PAYLOAD_LZ4=y
# CONFIG_COMPRESS_SECONDARY_PAYLOAD is not set
CONFIG_COREINFO_SECONDARY_PAYLOAD=y
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y
CONFIG_TINT_SECONDARY_PAYLOAD=y
CONFIG_MEMTEST_REVISION=y