| # This image was built using coreboot 4.11-356-g12520134f1 | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y | |
| CONFIG_VENDOR_INTEL=y | |
| CONFIG_ONBOARD_VGA_IS_PRIMARY=y | |
| CONFIG_CBFS_SIZE=0xF00000 | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_BOARD_INTEL_D510MO=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y | |
| CONFIG_CPU_MICROCODE_CBFS_NONE=y | |
| CONFIG_SEABIOS_DEBUG_LEVEL=0 | |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |