arch/arm/mach-versal/Kconfig

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