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 24config SMBIOS_PRODUCT_NAME 25 default "GalileoGen2" 26 help 27 Override the default product name U-Boot reports in the SMBIOS 28 table, to be compatible with the Intel provided UEFI BIOS, as 29 Linux kernel drivers (drivers/mfd/intel_quark_i2c_gpio.c and 30 drivers/net/ethernet/stmicro/stmmac/stmmac_pci.c) make use of 31 it to do different board level configuration. 32 33 This can be "Galileo" for GEN1 Galileo board. 34 35endif 36