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