blob: ed9b310dae8edb211b087abaf7c90f46bf38a667 [file] [log] [blame]
# This image was built using coreboot 4.12-4030-gc66e1c2a31
CONFIG_VENDOR_HP=y
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_BOARD_HP_FOLIO_9480M=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HAVE_MRC=y
CONFIG_MRC_FILE="haswell-mrc.bin"
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
CONFIG_USBDEBUG=y
CONFIG_USBDEBUG_DONGLE_FTDI_FT232H=y