| Iru Cai | acc4ddd | 2017-08-24 20:08:14 +0800 | [diff] [blame] | 1 | # This image was built using coreboot 4.6-1185-g2900d4b92e-dirty |
| 2 | CONFIG_COLLECT_TIMESTAMPS=y |
| 3 | CONFIG_USE_BLOBS=y |
| 4 | CONFIG_VENDOR_HP=y |
| 5 | CONFIG_BOARD_HP_8470P=y |
| 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="8470p-fw1.bin" |
| 11 | CONFIG_KBC1126_FW2="8470p-fw2.bin" |
| 12 | CONFIG_MAINBOARD_USE_LIBGFXINIT=y |
| 13 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| 14 | # CONFIG_DRIVERS_INTEL_WIFI is not set |
| 15 | CONFIG_DEBUG_SMI=y |