| # This image was built using coreboot 4.10-70-gd70f5fae1c | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y | |
| CONFIG_VENDOR_LENOVO=y | |
| CONFIG_CBFS_SIZE=0xF00000 | |
| CONFIG_BOARD_LENOVO_R400=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y | |
| # CONFIG_H8_BEEP_ON_DEATH is not set | |
| # CONFIG_H8_FLASH_LEDS_ON_DEATH is not set | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| CONFIG_SEABIOS_DEBUG_LEVEL=2 |