| # This image was built using coreboot 4.6-1491-g612ec0e | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_VENDOR_PCENGINES=y | |
| CONFIG_CBFS_SIZE=0x40000 | |
| CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Emulation" | |
| CONFIG_BOARD_PCENGINES_ALIX2D=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_1024=y | |
| CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="QEMU x86 i440fx/piix4" |