blob: 6fcf532117167651f9d93b29de7d1333132c72a0 [file] [log] [blame]
# This image was built using coreboot 4.7-444-gc8f3984239
CONFIG_CCACHE=y
CONFIG_USE_OPTION_TABLE=y
CONFIG_STATIC_OPTION_TABLE=y
CONFIG_USE_BLOBS=y
CONFIG_VENDOR_HP=y
CONFIG_CBFS_SIZE=0xfe0000
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
CONFIG_HAVE_GBE_BIN=y
CONFIG_BOARD_HP_FOLIO_9470M=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_USBDEBUG=y
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_UART_PCI_ADDR=0
CONFIG_NATIVE_RAMINIT_IGNORE_MAX_MEM_FUSES=y
CONFIG_LOCK_SPI_FLASH_RO=y
# CONFIG_INTEL_CHIPSET_LOCKDOWN is not set
CONFIG_KBC1126_FIRMWARE=y
CONFIG_KBC1126_FW1="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fw1.bin"
CONFIG_KBC1126_FW2="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/fw2.bin"
CONFIG_CHECK_ME=y
CONFIG_USBDEBUG_DEFAULT_PORT=2
CONFIG_USBDEBUG_DONGLE_FTDI_FT232H=y
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_LPC_TPM=y
CONFIG_CONSOLE_USB=y
CONFIG_CONSOLE_POST=y
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y
CONFIG_DEBUG_CBFS=y
CONFIG_DEBUG_RAM_SETUP=y
CONFIG_DEBUG_SMBUS=y
CONFIG_DEBUG_SMI=y
CONFIG_DEBUG_MALLOC=y
CONFIG_DEBUG_ACPI=y
CONFIG_DEBUG_SPI_FLASH=y
CONFIG_DEBUG_ADA_CODE=y