| # This image was built using coreboot 4.14-2157-gab088c9345 |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y |
| # CONFIG_USE_BLOBS is not set |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_CBFS_SIZE=0xF00000 |
| CONFIG_SEABIOS_PS2_TIMEOUT=5000 |
| CONFIG_LINEAR_FRAMEBUFFER_MAX_WIDTH=2560 |
| CONFIG_LINEAR_FRAMEBUFFER_MAX_HEIGHT=1600 |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000 |
| CONFIG_BOARD_LENOVO_R400=y |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y |
| CONFIG_UART_PCI_ADDR=0x0 |
| CONFIG_CPU_MICROCODE_CBFS_NONE=y |
| # CONFIG_PCIEXP_HOTPLUG is not set |
| # CONFIG_H8_BEEP_ON_DEATH is not set |
| # CONFIG_H8_FLASH_LEDS_ON_DEATH is not set |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y |
| CONFIG_SUBSYSTEM_VENDOR_ID=0x0000 |
| CONFIG_SUBSYSTEM_DEVICE_ID=0x0000 |
| CONFIG_POST_IO_PORT=0x80 |
| CONFIG_SEABIOS_MASTER=y |
| CONFIG_SEABIOS_DEBUG_LEVEL=1 |