# 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

config VERSAL_OF_BOARD_DTB_ADDR
	hex
	default 0x1000
	depends on OF_BOARD

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.

endif