# This image was built using coreboot 4.3-821-g4488d73
CONFIG_VENDOR_MSI=y
CONFIG_SEABIOS_PS2_TIMEOUT=100
CONFIG_BOARD_MSI_MS7135=y
CONFIG_BUILD_IPXE=y
CONFIG_PXE_ROM_ID="10de,0057"
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y