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 IOU_SWITCH_DIVISOR0 45 hex "IOU switch divisor0" 46 default 0x20 47 help 48 Setup time clock divisor for input clock. 49 50config SYS_MEM_RSVD_FOR_MMU 51 bool "Reserve memory for MMU Table" 52 help 53 If defined this option is used to setup different space for 54 MMU table than the one which will be allocated during 55 relocation. 56 57endif 58