Kconfig 720 B

123456789101112131415161718192021222324252627282930313233343536373839
  1. # SPDX-License-Identifier: GPL-2.0+
  2. if ARCH_VERSAL
  3. config SYS_BOARD
  4. string "Board name"
  5. default "versal"
  6. config SYS_VENDOR
  7. string "Vendor name"
  8. default "xilinx"
  9. config SYS_SOC
  10. default "versal"
  11. config SYS_CONFIG_NAME
  12. string "Board configuration name"
  13. default "xilinx_versal"
  14. help
  15. This option contains information about board configuration name.
  16. Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
  17. will be used for board configuration.
  18. config GICV3
  19. def_bool y
  20. config SYS_MALLOC_LEN
  21. default 0x2000000
  22. config COUNTER_FREQUENCY
  23. int "Timer clock frequency"
  24. default 0
  25. help
  26. Setup time clock frequency for certain platform
  27. config ZYNQ_SDHCI_MAX_FREQ
  28. default 200000000
  29. endif