if TARGET_GALILEO

config SYS_BOARD
	default "galileo"

config SYS_VENDOR
	default "intel"

config SYS_SOC
	default "quark"

config SYS_CONFIG_NAME
	default "galileo"

config SYS_TEXT_BASE
	default 0xfff10000

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select X86_RESET_VECTOR
	select INTEL_QUARK
	select BOARD_ROMSIZE_KB_1024

config SMBIOS_PRODUCT_NAME
	default "GalileoGen2"
	help
	  Override the default product name U-Boot reports in the SMBIOS
	  table, to be compatible with the Intel provided UEFI BIOS, as
	  Linux kernel drivers (drivers/mfd/intel_quark_i2c_gpio.c and
	  drivers/net/ethernet/stmicro/stmmac/stmmac_pci.c) make use of
	  it to do different board level configuration.

	  This can be "Galileo" for GEN1 Galileo board.

endif