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