Kconfig 758 B

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