| # This image was built using coreboot 4.5-1441-g1e05435-dirty | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_COLLECT_TIMESTAMPS=y | |
| CONFIG_VENDOR_GIGABYTE=y | |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y | |
| CONFIG_BOARD_GIGABYTE_GA_G41M_ES2L=y | |
| CONFIG_NO_POST=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_DEBUG_CBFS=y | |
| CONFIG_DEBUG_ACPI=y |