| # This image was built using coreboot 4.6-1245-g36f9518a95 |
| CONFIG_CCACHE=y |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_VENDOR_ASROCK=y |
| CONFIG_BOARD_ASROCK_G41C_GS=y |
| CONFIG_USBDEBUG=y |
| CONFIG_COREBOOT_ROMSIZE_KB_8192=y |
| CONFIG_PCIEXP_COMMON_CLOCK=y |
| CONFIG_USBDEBUG_DONGLE_FTDI_FT232H=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="G41C-S" |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |
| CONFIG_DEBUG_CBFS=y |
| CONFIG_DEBUG_RAM_SETUP=y |
| CONFIG_DEBUG_SMI=y |
| CONFIG_DEBUG_MALLOC=y |
| CONFIG_DEBUG_ACPI=y |
| CONFIG_DEBUG_USBDEBUG=y |
| CONFIG_DEBUG_ADA_CODE=y |