blob: 040d3969eafa2067eedbdbba0387f87d49918bad [file] [log] [blame]
Michał Żygowski0035dd22020-03-10 16:43:10 +01001# This image was built using coreboot 4.11-1542-g8fb7cd4123
2CONFIG_VENDOR_PROTECTLI=y
3CONFIG_VGA_BIOS=y
4CONFIG_BOARD_PROTECTLI_FW4B=y
5CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
6CONFIG_PXE=y
7CONFIG_BUILD_IPXE=y
8# CONFIG_PXE_SERIAL_CONSOLE is not set