# SPDX-License-Identifier: GPL-2.0+

if ARCH_VERSAL

config SYS_BOARD
	string "Board name"
	default "versal"

config SYS_VENDOR
	string "Vendor name"
	default "xilinx"

config SYS_SOC
	default "versal"

config SYS_CONFIG_NAME
	string "Board configuration name"
	default "xilinx_versal"
	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 GICV3
	def_bool y

config SYS_MALLOC_LEN
	default 0x2000000

config COUNTER_FREQUENCY
	int "Timer clock frequency"
	default 0
	help
	  Setup time clock frequency for certain platform

config ZYNQ_SDHCI_MAX_FREQ
	default 200000000

endif