| David Duchesne | 8dcac2b | 2019-07-25 22:52:52 +0200 | [diff] [blame^] | 1 | # This image was built using coreboot 4.10-70-gd70f5fae1c |
| 2 | CONFIG_USE_OPTION_TABLE=y | ||||
| 3 | CONFIG_TIMESTAMPS_ON_CONSOLE=y | ||||
| 4 | CONFIG_VENDOR_LENOVO=y | ||||
| 5 | CONFIG_CBFS_SIZE=0xF00000 | ||||
| 6 | CONFIG_BOARD_LENOVO_R400=y | ||||
| 7 | # CONFIG_DRIVERS_INTEL_WIFI is not set | ||||
| 8 | CONFIG_COREBOOT_ROMSIZE_KB_16384=y | ||||
| 9 | # CONFIG_H8_BEEP_ON_DEATH is not set | ||||
| 10 | # CONFIG_H8_FLASH_LEDS_ON_DEATH is not set | ||||
| 11 | CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | ||||
| 12 | CONFIG_SEABIOS_DEBUG_LEVEL=2 | ||||