| Iru Cai | 6059980 | 2017-08-19 13:19:55 +0800 | [diff] [blame] | 1 | # This image was built using coreboot 4.6-1111-gaeb2d64c85 |
| 2 | CONFIG_COLLECT_TIMESTAMPS=y |
| 3 | CONFIG_USE_BLOBS=y |
| 4 | CONFIG_VENDOR_HP=y |
| 5 | # CONFIG_DRIVERS_UART_8250IO is not set |
| 6 | CONFIG_PCIEXP_L1_SUB_STATE=y |
| 7 | CONFIG_NO_POST=y |
| 8 | CONFIG_PCIEXP_CLK_PM=y |
| 9 | CONFIG_KBC1126_FIRMWARE=y |
| 10 | CONFIG_KBC1126_FW1="2570p-fw1.bin" |
| 11 | CONFIG_KBC1126_FW2="2570p-fw2.bin" |
| 12 | CONFIG_MAINBOARD_USE_LIBGFXINIT=y |
| 13 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| 14 | # CONFIG_DRIVERS_INTEL_WIFI is not set |
| 15 | CONFIG_SEABIOS_MASTER=y |