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 44config SYS_MEM_RSVD_FOR_MMU 45 bool "Reserve memory for MMU Table" 46 help 47 If defined this option is used to setup different space for 48 MMU table than the one which will be allocated during 49 relocation. 50 51endif 52