| # This image was built using coreboot 4.2-619-gd890b45 | |
| CONFIG_VENDOR_GIGABYTE=y | |
| CONFIG_HAVE_IFD_BIN=y | |
| CONFIG_HAVE_ME_BIN=y | |
| # CONFIG_POST_DEVICE is not set | |
| CONFIG_BOARD_GIGABYTE_GA_B75M_D3H=y | |
| CONFIG_ENABLE_VMX=y | |
| CONFIG_IFD_BIN_PATH="src/mainboard/$(MAINBOARDDIR)/descriptor.bin" | |
| CONFIG_ME_BIN_PATH="src/mainboard/$(MAINBOARDDIR)/me.bin" | |
| CONFIG_CONSOLE_POST=y | |
| # CONFIG_POST_IO is not set |