Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [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 |