| # This image was built using coreboot 4.4-1757-g5e0242b-dirty | |
| CONFIG_VENDOR_GIGABYTE=y | |
| CONFIG_VGA_BIOS_ID="8086,0152" | |
| CONFIG_VGA_BIOS=y | |
| CONFIG_VGA_BIOS_FILE="bins/vgabios.bin" | |
| CONFIG_HAVE_IFD_BIN=y | |
| CONFIG_HAVE_ME_BIN=y | |
| CONFIG_BOARD_GIGABYTE_GA_B75M_D3V=y | |
| CONFIG_IFD_BIN_PATH="bins/descriptor.bin" | |
| CONFIG_ME_BIN_PATH="bins/me.bin" |