board/intel/galileo/Kconfig

   1 if TARGET_GALILEO
   2
   3 config SYS_BOARD
   4         default "galileo"
   5
   6 config SYS_VENDOR
   7         default "intel"
   8
   9 config SYS_SOC
  10         default "quark"
  11
  12 config SYS_CONFIG_NAME
  13         default "galileo"
  14
  15 config SYS_TEXT_BASE
  16         default 0xfff10000
  17
  18 config 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
  25 config 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
  36 endif