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