| # 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 |