# 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 |