1 # SPDX-License-Identifier: GPL-2.0+
16 config SYS_CONFIG_NAME
17 string "Board configuration name"
18 default "xilinx_versal"
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.
27 config ZYNQ_SDHCI_MAX_FREQ
30 config IOU_SWITCH_DIVISOR0
31 hex "IOU switch divisor0"
34 Setup time clock divisor for input clock.
36 config SYS_MEM_RSVD_FOR_MMU
37 bool "Reserve memory for MMU Table"
39 If defined this option is used to setup different space for
40 MMU table than the one which will be allocated during
43 config DEFINE_TCM_OCM_MMAP
44 bool "Define TCM and OCM memory in MMU Table"
47 This option if enabled defines the TCM and OCM memory and its
48 memory attributes in MMU table entry.
51 bool "Disable DDR MMU mapping"
53 This option configures MMU with no DDR to avoid speculative
54 access to DDR memory where DDR is not present.
56 source "board/xilinx/Kconfig"
57 source "board/xilinx/versal/Kconfig"