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