# This image was built using coreboot 4.3-957-gd2ea674-dirty
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_VENDOR_SIEMENS=y
CONFIG_VGA_BIOS_FILE="../extpkg/vbios/baytrail/Vga_tcu3_MR4.dat"
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
CONFIG_FSP_FILE="../extpkg/fsp/baytrail/TCU3_FSP_MR5.fd"
# CONFIG_POST_DEVICE is not set
CONFIG_FSP_PACKAGE_DEFAULT=y
CONFIG_BOARD_SIEMENS_MC_TCU3=y
CONFIG_FMDFILE="../extpkg/misc/tcu3_flashmap.fmd"
CONFIG_CPU_MICROCODE_HEADER_FILES="../extpkg/microcode/baytrail/M013067331E.h ../extpkg/microcode/baytrail/M0130679901.h ../extpkg/microcode/baytrail/M0230672228.h ../extpkg/microcode/baytrail/M0C30678833.h"
CONFIG_FSP_LOC=0xfffb0000
CONFIG_IFD_BIN_PATH="../extpkg/txe/baytrail/descriptor.bin"
CONFIG_ME_BIN_PATH="../extpkg/txe/baytrail/txe.bin"
CONFIG_VGA_ROM_RUN=y
CONFIG_ON_DEVICE_ROM_LOAD=y
# CONFIG_CONSOLE_SERIAL is not set
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3=y