| # This image was built using coreboot 4.10-1402-gfb2a9d5ed8 |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y |
| CONFIG_CBMEM_STAGE_CACHE=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_VGA_BIOS=y |
| CONFIG_VGA_BIOS_FILE="pci1002,990b.rom" |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_S3_VGA_ROM_RUN=y |
| CONFIG_AGESA_EXTRA_TIMESTAMPS=y |
| CONFIG_VGA_ROM_RUN=y |
| CONFIG_ON_DEVICE_ROM_LOAD=y |
| CONFIG_PCI_OPTION_ROM_RUN_YABEL=y |
| CONFIG_YABEL_PCI_ACCESS_OTHER_DEVICES=y |
| CONFIG_YABEL_DIRECTHW=y |
| CONFIG_MULTIPLE_VGA_ADAPTERS=y |
| CONFIG_FRAMEBUFFER_SET_VESA_MODE=y |
| CONFIG_VBE_LINEAR_FRAMEBUFFER=y |
| CONFIG_BOOTSPLASH=y |
| CONFIG_VGA_BIOS_DGPU=y |
| CONFIG_VGA_BIOS_DGPU_FILE="pci1002,6665.rom" |
| CONFIG_VGA_BIOS_DGPU_ID="1002,6665" |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y |
| CONFIG_SEABIOS_MASTER=y |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_TINT_SECONDARY_PAYLOAD=y |