1# SPDX-License-Identifier: GPL-2.0+ 2 3if ARCH_VERSAL 4 5config SYS_BOARD 6 string "Board name" 7 default "versal" 8 9config SYS_VENDOR 10 string "Vendor name" 11 default "xilinx" 12 13config SYS_SOC 14 default "versal" 15 16config SYS_CONFIG_NAME 17 string "Board configuration name" 18 default "xilinx_versal" 19 help 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. 23 24config GICV3 25 def_bool y 26 27config SYS_MALLOC_LEN 28 default 0x2000000 29 30config COUNTER_FREQUENCY 31 int "Timer clock frequency" 32 default 0 33 help 34 Setup time clock frequency for certain platform 35 36config ZYNQ_SDHCI_MAX_FREQ 37 default 200000000 38 39config VERSAL_OF_BOARD_DTB_ADDR 40 hex 41 default 0x1000 42 depends on OF_BOARD 43 44endif 45