| # This image was built using coreboot 4.6-1111-gaeb2d64c85 | |
| CONFIG_COLLECT_TIMESTAMPS=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_MASTER=y |