# 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