| # This image was built using coreboot 4.7-1039-gc48b70f744 | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_VENDOR_INTEL=y | |
| CONFIG_ONBOARD_VGA_IS_PRIMARY=y | |
| CONFIG_BOARD_INTEL_D510MO=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |