1 files changed, 57 insertions, 0 deletions

diff --git a/arch/arm/mach-versal/Kconfig b/arch/arm/mach-versal/Kconfig
new file mode 100644
index 0000000000..26d1756371
--- /dev/null
+++ b/arch/arm/mach-versal/Kconfig
@@ -0,0 +1,57 @@
+# 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 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.
+
+endif