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