| # This image was built using coreboot 4.6-1117-ge464ccd116 | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_USE_BLOBS=y | |
| CONFIG_VENDOR_FOXCONN=y | |
| # CONFIG_DRIVERS_UART_8250IO is not set | |
| CONFIG_NO_POST=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_2048=y | |
| CONFIG_PCIEXP_COMMON_CLOCK=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |