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.
30 config COUNTER_FREQUENCY
31 int "Timer clock frequency"
34 Setup time clock frequency for certain platform
36 config ZYNQ_SDHCI_MAX_FREQ
39 config IOU_SWITCH_DIVISOR0
40 hex "IOU switch divisor0"
43 Setup time clock divisor for input clock.
45 config SYS_MEM_RSVD_FOR_MMU
46 bool "Reserve memory for MMU Table"
48 If defined this option is used to setup different space for
49 MMU table than the one which will be allocated during
52 config DEFINE_TCM_OCM_MMAP
53 bool "Define TCM and OCM memory in MMU Table"
56 This option if enabled defines the TCM and OCM memory and its
57 memory attributes in MMU table entry.