| David Duchesne | e78b2d9 | 2018-05-07 04:42:46 +0200 | [diff] [blame] | 1 | # This image was built using coreboot 4.7-1039-gc48b70f744 |
| 2 | CONFIG_USE_OPTION_TABLE=y | ||||
| 3 | CONFIG_VENDOR_GIGABYTE=y | ||||
| 4 | CONFIG_ONBOARD_VGA_IS_PRIMARY=y | ||||
| 5 | CONFIG_BOARD_GIGABYTE_GA_G41M_ES2L=y | ||||
| 6 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | ||||
| 7 | # CONFIG_DRIVERS_INTEL_WIFI is not set | ||||
| 8 | CONFIG_COREINFO_SECONDARY_PAYLOAD=y | ||||
| 9 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y | ||||
| 10 | CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y | ||||