| # This image was built using coreboot 4.10-91-g1a64194307 |
| CONFIG_USE_OPTION_TABLE=y |
| # CONFIG_COMPRESS_RAMSTAGE is not set |
| # CONFIG_COLLECT_TIMESTAMPS is not set |
| CONFIG_VENDOR_HP=y |
| CONFIG_CBFS_SIZE=0x7E8000 |
| CONFIG_INTEL_GMA_VBT_FILE="data.vbt" |
| # CONFIG_POST_IO is not set |
| # CONFIG_POST_DEVICE is not set |
| CONFIG_BOARD_HP_8460P=y |
| CONFIG_IFD_BIN_PATH="ifd_shrinked.bin" |
| CONFIG_ME_BIN_PATH="me_shrinked.bin" |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_DRIVERS_PS2_KEYBOARD=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_PCIEXP_L1_SUB_STATE=y |
| CONFIG_PCIEXP_CLK_PM=y |
| CONFIG_NATIVE_RAMINIT_IGNORE_MAX_MEM_FUSES=y |
| CONFIG_KBC1126_FIRMWARE=y |
| CONFIG_HAVE_ME_BIN=y |
| CONFIG_HAVE_GBE_BIN=y |
| CONFIG_GBE_BIN_PATH="flashregion_3_gbe.bin" |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| CONFIG_INTEL_GMA_ADD_VBT=y |
| CONFIG_MRC_SETTINGS_PROTECT=y |
| CONFIG_VPD=y |
| # CONFIG_CONSOLE_SERIAL is not set |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y |
| CONFIG_PAYLOAD_TIANOCORE=y |
| CONFIG_COMPRESSED_PAYLOAD_LZ4=y |
| # CONFIG_COMPRESS_SECONDARY_PAYLOAD is not set |
| 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_CONSOLE_INIT=y |
| CONFIG_DEBUG_SPI_FLASH=y |
| CONFIG_DEBUG_ADA_CODE=y |