| # This image was built using coreboot 4.7-163-g0f68b23aaf-dirty |
| CONFIG_CCACHE=y |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_HP=y |
| # CONFIG_DRIVERS_UART_8250IO is not set |
| CONFIG_PCIEXP_L1_SUB_STATE=y |
| CONFIG_NO_POST=y |
| CONFIG_PCIEXP_CLK_PM=y |
| CONFIG_KBC1126_FIRMWARE=y |
| CONFIG_KBC1126_FW1="2570p-fw1.bin" |
| CONFIG_KBC1126_FW2="2570p-fw2.bin" |
| CONFIG_MAINBOARD_USE_LIBGFXINIT=y |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_SEABIOS_REVISION=y |
| CONFIG_SEABIOS_REVISION_ID="rel-1.10.3" |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |