Kconfig 784 B

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