| Martin Roth | e07871b | 2015-12-27 14:19:21 -0700 | [diff] [blame] | 1 | # This image was built using coreboot 4.2-619-gd890b45 |
| 2 | CONFIG_VENDOR_GIGABYTE=y | ||||
| 3 | CONFIG_HAVE_IFD_BIN=y | ||||
| 4 | CONFIG_HAVE_ME_BIN=y | ||||
| 5 | # CONFIG_POST_DEVICE is not set | ||||
| 6 | CONFIG_BOARD_GIGABYTE_GA_B75M_D3H=y | ||||
| 7 | CONFIG_ENABLE_VMX=y | ||||
| 8 | CONFIG_IFD_BIN_PATH="src/mainboard/$(MAINBOARDDIR)/descriptor.bin" | ||||
| 9 | CONFIG_ME_BIN_PATH="src/mainboard/$(MAINBOARDDIR)/me.bin" | ||||
| 10 | CONFIG_CONSOLE_POST=y | ||||
| 11 | # CONFIG_POST_IO is not set | ||||