1if TARGET_GALILEO 2 3config SYS_BOARD 4 default "galileo" 5 6config SYS_VENDOR 7 default "intel" 8 9config SYS_SOC 10 default "quark" 11 12config SYS_CONFIG_NAME 13 default "galileo" 14 15config SYS_TEXT_BASE 16 default 0xfff10000 17 18config BOARD_SPECIFIC_OPTIONS # dummy 19 def_bool y 20 select X86_RESET_VECTOR 21 select INTEL_QUARK 22 select BOARD_ROMSIZE_KB_1024 23 select SPI_FLASH_WINBOND 24 25config SMBIOS_PRODUCT_NAME 26 default "GalileoGen2" 27 help 28 Override the default product name U-Boot reports in the SMBIOS 29 table, to be compatible with the Intel provided UEFI BIOS, as 30 Linux kernel drivers (drivers/mfd/intel_quark_i2c_gpio.c and 31 drivers/net/ethernet/stmicro/stmmac/stmmac_pci.c) make use of 32 it to do different board level configuration. 33 34 This can be "Galileo" for GEN1 Galileo board. 35 36endif 37