1# SPDX-License-Identifier: GPL-2.0 2 3if ARCH_VERSAL_NET 4 5config SYS_BOARD 6 string "Board name" 7 default "versal-net" 8 9config SYS_VENDOR 10 string "Vendor name" 11 default "xilinx" 12 13config SYS_SOC 14 default "versal-net" 15 16config COUNTER_FREQUENCY 17 int "Timer clock frequency" 18 default 0 19 help 20 Setup time clock frequency for certain platform 21 22config IOU_SWITCH_DIVISOR0 23 hex "IOU switch divisor0" 24 default 0x20 25 help 26 Setup time clock divisor for input clock. 27 28config SYS_MEM_RSVD_FOR_MMU 29 bool "Reserve memory for MMU Table" 30 help 31 If defined this option is used to setup different space for 32 MMU table than the one which will be allocated during 33 relocation. 34 35config GICV3 36 def_bool y 37 38config GICV3_SUPPORT_GIC600 39 def_bool y 40 41config SYS_MALLOC_LEN 42 default 0x2000000 43 44config ZYNQ_SDHCI_MAX_FREQ 45 default 200000000 46 47source "board/xilinx/Kconfig" 48source "board/xilinx/versal-net/Kconfig" 49 50endif 51