| Persmule | 9636e25 | 2018-01-13 12:50:23 +0800 | [diff] [blame] | 1 | # This image was built using coreboot 4.6-2553-g1291c44abd-dirty |
| 2 | CONFIG_CCACHE=y |
| 3 | CONFIG_USE_OPTION_TABLE=y |
| 4 | CONFIG_USE_BLOBS=y |
| 5 | CONFIG_VENDOR_HP=y |
| 6 | CONFIG_CBFS_SIZE=0xfe0000 |
| 7 | CONFIG_HAVE_IFD_BIN=y |
| 8 | CONFIG_HAVE_ME_BIN=y |
| 9 | CONFIG_HAVE_GBE_BIN=y |
| 10 | CONFIG_BOARD_HP_REVOLVE_810_G1=y |
| 11 | # CONFIG_DRIVERS_UART_8250IO is not set |
| 12 | CONFIG_PCIEXP_L1_SUB_STATE=y |
| 13 | CONFIG_PCIEXP_CLK_PM=y |
| 14 | CONFIG_UART_PCI_ADDR=0 |
| 15 | CONFIG_NATIVE_RAMINIT_IGNORE_MAX_MEM_FUSES=y |
| 16 | CONFIG_KBC1126_FIRMWARE=y |
| 17 | CONFIG_KBC1126_FW1="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fw1.bin" |
| 18 | CONFIG_KBC1126_FW2="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fw2.bin" |
| 19 | CONFIG_CHECK_ME=y |
| 20 | # CONFIG_DRIVERS_INTEL_WIFI is not set |
| 21 | CONFIG_LPC_TPM=y |
| 22 | CONFIG_CONSOLE_POST=y |
| 23 | CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| 24 | CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |
| 25 | CONFIG_DEBUG_CBFS=y |
| 26 | CONFIG_DEBUG_RAM_SETUP=y |
| 27 | CONFIG_DEBUG_SMBUS=y |
| 28 | CONFIG_DEBUG_SMI=y |
| 29 | CONFIG_DEBUG_MALLOC=y |
| 30 | CONFIG_DEBUG_ACPI=y |
| 31 | CONFIG_DEBUG_SPI_FLASH=y |
| 32 | CONFIG_DEBUG_ADA_CODE=y |