| # This image was built using coreboot 4.15-543-g74d2218cc7 |
| CONFIG_BOOTSPLASH_IMAGE=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_NO_POST=y |
| CONFIG_CBFS_SIZE=0x400000 |
| CONFIG_SEABIOS_PS2_TIMEOUT=5000 |
| CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=1024 |
| CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=768 |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| CONFIG_PCIEXP_HOTPLUG_BUSES=8 |
| CONFIG_PCIEXP_HOTPLUG_MEM=0x800000 |
| CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM=0x10000000 |
| CONFIG_BOARD_LENOVO_T530=y |
| CONFIG_UART_PCI_ADDR=0x0 |
| # CONFIG_H8_BEEP_ON_DEATH is not set |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| CONFIG_BOOTSPLASH=y |
| CONFIG_PCIEXP_HOTPLUG_IO=0x2000 |
| CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 |
| CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 |
| # CONFIG_INTEL_GMA_ADD_VBT is not set |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y |
| CONFIG_SEABIOS_DEBUG_LEVEL=-1 |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |