# 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 COUNTER_FREQUENCY int "Timer clock frequency" default 0 help Setup time clock frequency for certain platform 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 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