| Iru Cai | 1ef5870 | 2020-11-15 10:55:37 +0800 | [diff] [blame] | 1 | # This image was built using coreboot 4.12-4030-gc66e1c2a31 |
| 2 | CONFIG_VENDOR_HP=y | ||||
| 3 | # CONFIG_DRIVERS_INTEL_WIFI is not set | ||||
| 4 | CONFIG_BOARD_HP_FOLIO_9480M=y | ||||
| 5 | # CONFIG_DRIVERS_UART_8250IO is not set | ||||
| 6 | CONFIG_HAVE_MRC=y | ||||
| 7 | CONFIG_MRC_FILE="haswell-mrc.bin" | ||||
| 8 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | ||||
| 9 | CONFIG_USBDEBUG=y | ||||
| 10 | CONFIG_USBDEBUG_DONGLE_FTDI_FT232H=y | ||||