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 SYS_MEM_RSVD_FOR_MMU
  45         bool "Reserve memory for MMU Table"
  46         help
  47           If defined this option is used to setup different space for
  48           MMU table than the one which will be allocated during
  49           relocation.
  50
  51 endif