1*ec48b6c9SMichal Simek# SPDX-License-Identifier: GPL-2.0+ 2*ec48b6c9SMichal Simek 3*ec48b6c9SMichal Simekif ARCH_VERSAL 4*ec48b6c9SMichal Simek 5*ec48b6c9SMichal Simekconfig SYS_BOARD 6*ec48b6c9SMichal Simek string "Board name" 7*ec48b6c9SMichal Simek default "versal" 8*ec48b6c9SMichal Simek 9*ec48b6c9SMichal Simekconfig SYS_VENDOR 10*ec48b6c9SMichal Simek string "Vendor name" 11*ec48b6c9SMichal Simek default "xilinx" 12*ec48b6c9SMichal Simek 13*ec48b6c9SMichal Simekconfig SYS_SOC 14*ec48b6c9SMichal Simek default "versal" 15*ec48b6c9SMichal Simek 16*ec48b6c9SMichal Simekconfig SYS_CONFIG_NAME 17*ec48b6c9SMichal Simek string "Board configuration name" 18*ec48b6c9SMichal Simek default "xilinx_versal" 19*ec48b6c9SMichal Simek help 20*ec48b6c9SMichal Simek This option contains information about board configuration name. 21*ec48b6c9SMichal Simek Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header 22*ec48b6c9SMichal Simek will be used for board configuration. 23*ec48b6c9SMichal Simek 24*ec48b6c9SMichal Simekconfig GICV3 25*ec48b6c9SMichal Simek def_bool y 26*ec48b6c9SMichal Simek 27*ec48b6c9SMichal Simekconfig SYS_MALLOC_LEN 28*ec48b6c9SMichal Simek default 0x2000000 29*ec48b6c9SMichal Simek 30*ec48b6c9SMichal Simekconfig COUNTER_FREQUENCY 31*ec48b6c9SMichal Simek int "Timer clock frequency" 32*ec48b6c9SMichal Simek default 0 33*ec48b6c9SMichal Simek help 34*ec48b6c9SMichal Simek Setup time clock frequency for certain platform 35*ec48b6c9SMichal Simek 36*ec48b6c9SMichal Simekconfig ZYNQ_SDHCI_MAX_FREQ 37*ec48b6c9SMichal Simek default 200000000 38*ec48b6c9SMichal Simek 39*ec48b6c9SMichal Simekendif 40