# This image was built using coreboot 4.5-1341-g0d50e4c21e-dirty
CONFIG_CCACHE=y
CONFIG_USE_OPTION_TABLE=y
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_VENDOR_INTEL=y
CONFIG_BOARD_INTEL_D510MO=y
# CONFIG_CONSOLE_SERIAL is not set