# 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/.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. config VERSAL_NO_DDR bool "Disable DDR MMU mapping" help This option configures MMU with no DDR to avoid speculative access to DDR memory where DDR is not present. source "board/xilinx/Kconfig" source "board/xilinx/versal/Kconfig" endif