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 config VERSAL_OF_BOARD_DTB_ADDR
  40         hex
  41         default 0x1000
  42         depends on OF_BOARD
  43
  44 config IOU_SWITCH_DIVISOR0
  45         hex "IOU switch divisor0"
  46         default 0x20
  47         help
  48           Setup time clock divisor for input clock.
  49
  50 config SYS_MEM_RSVD_FOR_MMU
  51         bool "Reserve memory for MMU Table"
  52         help
  53           If defined this option is used to setup different space for
  54           MMU table than the one which will be allocated during
  55           relocation.
  56
  57 endif