Jonathan A. Kollasch | 83305f5 | 2016-05-12 14:25:44 +0000 | [diff] [blame] | 1 | # This image was built using coreboot 4.3-821-g4488d73 |
2 | CONFIG_VENDOR_MSI=y | ||||
3 | CONFIG_SEABIOS_PS2_TIMEOUT=100 | ||||
4 | CONFIG_BOARD_MSI_MS7135=y | ||||
5 | CONFIG_BUILD_IPXE=y | ||||
6 | CONFIG_PXE_ROM_ID="10de,0057" | ||||
7 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y | ||||
8 | CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |