# SPDX-License-Identifier: GPL-2.0

if ARCH_VERSAL_NET

config SYS_BOARD
	string "Board name"
	default "versal-net"

config SYS_VENDOR
	string "Vendor name"
	default "xilinx"

config SYS_SOC
	default "versal-net"

config SYS_CONFIG_NAME
	string "Board configuration name"
	default "xilinx_versal_net"
	help
	  This option contains information about board configuration name.
	  Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
	  will be used for board configuration.

config SYS_MEM_RSVD_FOR_MMU
	bool "Reserve memory for MMU Table"
	help
	  If defined this option is used to setup different space for
	  MMU table than the one which will be allocated during
	  relocation.

config GICV3
	def_bool y

config SYS_MALLOC_LEN
	default 0x2000000

config ZYNQ_SDHCI_MAX_FREQ
	default 200000000

source "board/xilinx/Kconfig"
source "board/xilinx/versal-net/Kconfig"

endif