| # This image was built using coreboot 4.6-1563-g8b64e7ae21 | |
| CONFIG_CCACHE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_USE_BLOBS=y | |
| CONFIG_VENDOR_INTEL=y | |
| CONFIG_BOARD_INTEL_DG43GT=y | |
| # CONFIG_DRIVERS_UART_8250IO is not set | |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |