# 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 IOU_SWITCH_DIVISOR0
	hex "IOU switch divisor0"
	default 0x20
	help
	  Setup time clock divisor for input clock.

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 DEFINE_TCM_OCM_MMAP
	bool "Define TCM and OCM memory in MMU Table"
	default y if MP
	help
	  This option if enabled defines the TCM and OCM memory and its
	  memory attributes in MMU table entry.

endif