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
  24 config 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
  35 endif