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