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 IOU_SWITCH_DIVISOR0
  40         hex "IOU switch divisor0"
  41         default 0x20
  42         help
  43           Setup time clock divisor for input clock.
  44
  45 config SYS_MEM_RSVD_FOR_MMU
  46         bool "Reserve memory for MMU Table"
  47         help
  48           If defined this option is used to setup different space for
  49           MMU table than the one which will be allocated during
  50           relocation.
  51
  52 config DEFINE_TCM_OCM_MMAP
  53         bool "Define TCM and OCM memory in MMU Table"
  54         default y if MP
  55         help
  56           This option if enabled defines the TCM and OCM memory and its
  57           memory attributes in MMU table entry.
  58
  59 config VERSAL_NO_DDR
  60         bool "Disable DDR MMU mapping"
  61         help
  62           This option configures MMU with no DDR to avoid speculative
  63           access to DDR memory where DDR is not present.
  64
  65 endif