# This image was built using coreboot 4.3-777-g4774bb9
CONFIG_LOCALVERSION="MattDevo"
CONFIG_COLLECT_TIMESTAMPS=y
CONFIG_USE_BLOBS=y
CONFIG_VENDOR_GOOGLE=y
CONFIG_VGA_BIOS=y
CONFIG_VGA_BIOS_FILE="3rdparty/blobs/mainboard/google/tidus/vgabios_1040.bin"
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
# CONFIG_POST_DEVICE is not set
CONFIG_BOARD_GOOGLE_TIDUS=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_HAVE_MRC=y
CONFIG_MRC_FILE="3rdparty/blobs/mainboard/google/tidus/mrc.bin"
CONFIG_HAVE_REFCODE_BLOB=y
CONFIG_REFCODE_BLOB_FILE="3rdparty/blobs/mainboard/google/tidus/refcode.elf"
CONFIG_ENABLE_VMX=y
CONFIG_IFD_BIN_PATH="3rdparty/blobs/mainboard/google/tidus/descriptor.bin"
CONFIG_ME_BIN_PATH="3rdparty/blobs/mainboard/google/tidus/me.bin"
CONFIG_LOCK_MANAGEMENT_ENGINE=y
# CONFIG_VGA_ROM_RUN is not set
# CONFIG_ON_DEVICE_ROM_LOAD is not set
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x30000
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7=y
CONFIG_PAYLOAD_ELF=y
CONFIG_PAYLOAD_FILE="seabios-hsw.bin.elf"