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