# 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"