| David Duchesne | 196751f | 2018-07-05 21:52:04 +0200 | [diff] [blame^] | 1 | # This image was built using coreboot 4.8-706-gafc74cab6e |
| 2 | CONFIG_USE_OPTION_TABLE=y | ||||
| 3 | CONFIG_VENDOR_INTEL=y | ||||
| 4 | CONFIG_ONBOARD_VGA_IS_PRIMARY=y | ||||
| 5 | CONFIG_BOARD_INTEL_D510MO=y | ||||
| 6 | CONFIG_COREBOOT_ROMSIZE_KB_16384=y | ||||
| 7 | CONFIG_CPU_MICROCODE_CBFS_NONE=y | ||||
| 8 | # CONFIG_DRIVERS_INTEL_WIFI is not set | ||||
| 9 | CONFIG_SEABIOS_MASTER=y | ||||
| 10 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y | ||||