blob: 58bdaf81f4c2d696fd394a75bff8f144af1b49ab [file] [log] [blame]
# This image was built using coreboot 4.11-1452-gd45e0ead78
CONFIG_VENDOR_LIBRETREND=y
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y
CONFIG_PXE=y
CONFIG_BUILD_IPXE=y
# CONFIG_PXE_SERIAL_CONSOLE is not set