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 VERSAL_OF_BOARD_DTB_ADDR
44 config IOU_SWITCH_DIVISOR0
45 hex "IOU switch divisor0"
48 Setup time clock divisor for input clock.
50 config SYS_MEM_RSVD_FOR_MMU
51 bool "Reserve memory for MMU Table"
53 If defined this option is used to setup different space for
54 MMU table than the one which will be allocated during