# This image was built using coreboot 4.8-167-g659f40bb34
CONFIG_USE_OPTION_TABLE=y
CONFIG_STATIC_OPTION_TABLE=y
CONFIG_VENDOR_HP=y
CONFIG_CBFS_SIZE=0xFE5000
CONFIG_PAYLOAD_CONFIGFILE="../../../seabios_config"
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
CONFIG_HAVE_GBE_BIN=y
CONFIG_BOARD_HP_8770W=y
CONFIG_IFD_BIN_PATH="flashregion_0_flashdescriptor.bin"
CONFIG_ME_BIN_PATH="flashregion_2_intel_me.bin"
CONFIG_PCIEXP_L1_SUB_STATE=y
CONFIG_NO_POST=y
CONFIG_PCIEXP_CLK_PM=y
CONFIG_KBC1126_FIRMWARE=y
CONFIG_KBC1126_FW1="8770w-fw1.bin"
CONFIG_KBC1126_FW2="8770w-fw2.bin"
CONFIG_GBE_BIN_PATH="flashregion_3_gbe.bin"
CONFIG_NO_GFX_INIT=y
CONFIG_SUBSYSTEM_VENDOR_ID=0x103c
CONFIG_SUBSYSTEM_DEVICE_ID=0x176c
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x200000
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
CONFIG_SEABIOS_MASTER=y
CONFIG_SEABIOS_DEBUG_LEVEL=4
CONFIG_DEBUG_CBFS=y
CONFIG_DEBUG_RAM_SETUP=y
CONFIG_DEBUG_SMBUS=y
CONFIG_DEBUG_SMI=y
CONFIG_DEBUG_SMM_RELOCATION=y
CONFIG_DEBUG_ACPI=y