12 config SYS_CONFIG_NAME
18 config BOARD_SPECIFIC_OPTIONS # dummy
20 select X86_RESET_VECTOR
22 select BOARD_ROMSIZE_KB_1024
23 select SPI_FLASH_WINBOND
25 config SMBIOS_PRODUCT_NAME
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.
34 This can be "Galileo" for GEN1 Galileo board.