| # This image was built using coreboot 4.6-1640-gc060fb5aac | |
| CONFIG_CCACHE=y | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_USE_BLOBS=y | |
| CONFIG_VENDOR_INTEL=y | |
| CONFIG_PAYLOAD_CONFIGFILE="~/src/coreboot/seabiosconfig" | |
| CONFIG_BOARD_INTEL_D945GCLF=y | |
| # CONFIG_CONSOLE_SERIAL is not set |