| # 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 |