| # This image was built using coreboot 4.3-366-gab8f923 |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_BOOTSPLASH_IMAGE=y |
| CONFIG_BOOTSPLASH_FILE="../../splash/bootsplash-sonic-1366x768-to-1024x768.jpg" |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_VGA_BIOS=y |
| CONFIG_VGA_BIOS_FILE="3rdparty/mainboard/lenovo/x230/vgabios.bin" |
| # CONFIG_POST_IO is not set |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y |
| # CONFIG_POST_DEVICE is not set |
| CONFIG_BOARD_LENOVO_X230=y |
| CONFIG_DRIVERS_PS2_KEYBOARD=y |
| CONFIG_PXE_ROM=y |
| CONFIG_PXE_ROM_FILE="3rdparty/mainboard/lenovo/x230/80861502.rom" |