| Arthur Heymans | 4d31cab | 2017-09-25 13:58:58 +0200 | [diff] [blame] | 1 | # This image was built using coreboot 4.6-1563-g8b64e7ae21 |
| 2 | CONFIG_CCACHE=y | ||||
| 3 | CONFIG_COLLECT_TIMESTAMPS=y | ||||
| 4 | CONFIG_USE_BLOBS=y | ||||
| 5 | CONFIG_VENDOR_INTEL=y | ||||
| 6 | CONFIG_BOARD_INTEL_DG43GT=y | ||||
| 7 | # CONFIG_DRIVERS_UART_8250IO is not set | ||||
| 8 | CONFIG_COREBOOT_ROMSIZE_KB_16384=y | ||||
| 9 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | ||||