| # This image was built using coreboot 4.12-2943-g32be9f9045 | |
| CONFIG_CCACHE=y | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_VENDOR_HP=y | |
| CONFIG_NO_POST=y | |
| CONFIG_CBFS_SIZE=0x300000 | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_BOARD_HP_2560P=y | |
| # CONFIG_DRIVERS_UART_8250IO is not set | |
| CONFIG_KBC1126_FIRMWARE=y | |
| CONFIG_KBC1126_FW1="2560p/fw1.bin" | |
| CONFIG_KBC1126_FW2="2560p/fw2.bin" | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |