| Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame] | 1 | # This image was built using coreboot 4.5-1441-g1e05435-dirty |
| 2 | CONFIG_COLLECT_TIMESTAMPS=y |
| 3 | CONFIG_USE_BLOBS=y |
| 4 | CONFIG_BOOTSPLASH_IMAGE=y |
| 5 | CONFIG_VENDOR_PURISM=y |
| 6 | CONFIG_CBFS_SIZE=0x600000 |
| 7 | CONFIG_VGA_BIOS=y |
| 8 | CONFIG_MAINBOARD_SERIAL_NUMBER="System Serial Number" |
| 9 | CONFIG_VGA_BIOS_FILE="3rdparty/blobs/vbios.bin" |
| 10 | CONFIG_HAVE_IFD_BIN=y |
| 11 | CONFIG_HAVE_ME_BIN=y |
| 12 | CONFIG_HAVE_MRC=y |
| 13 | CONFIG_MRC_FILE="3rdparty/blobs/mrc.bin" |
| 14 | CONFIG_HAVE_REFCODE_BLOB=y |
| 15 | CONFIG_REFCODE_BLOB_FILE="3rdparty/blobs/refcode.elf" |
| 16 | # CONFIG_S3_VGA_ROM_RUN is not set |
| 17 | CONFIG_VGA_ROM_RUN=y |
| 18 | CONFIG_FRAMEBUFFER_SET_VESA_MODE=y |
| 19 | CONFIG_FRAMEBUFFER_VESA_MODE_11B=y |
| 20 | CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y |
| 21 | CONFIG_BOOTSPLASH=y |
| 22 | # CONFIG_DRIVERS_INTEL_WIFI is not set |
| 23 | CONFIG_SEABIOS_BOOTORDER_FILE="bootorder.txt" |
| 24 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |