# This image was built using coreboot 4.3-824-g2b92a5c
CONFIG_CCACHE=y
# CONFIG_COMPRESS_RAMSTAGE is not set
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_FLASHMAP_OFFSET=0x400000
CONFIG_BOARD_EMULATION_QEMU_X86_I440FX=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_COREBOOT_ROMSIZE_KB_2048=y
CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y
# CONFIG_GENERATE_PIRQ_TABLE is not set