# This image was built using coreboot 4.12-392-g11217de375-dirty
CONFIG_CCACHE=y
CONFIG_TIMESTAMPS_ON_CONSOLE=y
CONFIG_NO_STAGE_CACHE=y
CONFIG_VENDOR_SUPERMICRO=y
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_BOARD_SUPERMICRO_X11SSM_F=y
# CONFIG_SUPERIO_ASPEED_USE_UART_DELAY_WORKAROUND is not set
CONFIG_DO_NOT_TOUCH_DESCRIPTOR_REGION=y
CONFIG_NO_GFX_INIT=y
CONFIG_DISPLAY_HOBS=y
CONFIG_DISPLAY_UPD_DATA=y
CONFIG_USER_TPM1=y
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
CONFIG_PAYLOAD_GRUB2=y
CONFIG_GRUB2_EXTRA_MODULES="mdraid1x"
CONFIG_GRUB2_INCLUDE_RUNTIME_CONFIG_FILE=y
CONFIG_GRUB2_RUNTIME_CONFIG_FILE="site-local/$(MAINBOARDDIR)/grub.cfg"
CONFIG_COMPRESSED_PAYLOAD_LZ4=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y
CONFIG_DISPLAY_MTRRS=y
CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y
CONFIG_DISPLAY_FSP_HEADER=y
CONFIG_VERIFY_HOBS=y
CONFIG_FATAL_ASSERTS=y
CONFIG_DEBUG_GPIO=y
CONFIG_DEBUG_CBFS=y
CONFIG_DEBUG_SMBUS=y
CONFIG_DEBUG_SMI=y
CONFIG_DEBUG_CONSOLE_INIT=y
CONFIG_DEBUG_SPI_FLASH=y
CONFIG_DEBUG_BOOT_STATE=y
CONFIG_DEBUG_ADA_CODE=y
CONFIG_HAVE_EM100_SUPPORT=y