blob: 3f18e3351aa8be5f7ec05d6a02a5aca9e85207fe [file] [log] [blame]
Michal Simekd903ce42024-05-29 16:47:58 +02001# SPDX-License-Identifier: GPL-2.0
2
3if ARCH_VERSAL2
4
5config SYS_BOARD
6 string "Board name"
7 default "versal2"
8
9config SYS_VENDOR
10 string "Vendor name"
11 default "amd"
12
13config SYS_SOC
14 default "versal2"
15
16config SYS_CONFIG_NAME
17 string "Board configuration name"
18 default "amd_versal2"
19 help
20 This option contains information about board configuration name.
21 Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
22 will be used for board configuration.
23
24config COUNTER_FREQUENCY
25 int "Timer clock frequency"
26 default 0
27 help
28 Setup time clock frequency for certain platform
29
30config IOU_SWITCH_DIVISOR0
31 hex "IOU switch divisor0"
32 default 0x20
33 help
34 Setup time clock divisor for input clock.
35
36config SYS_MEM_RSVD_FOR_MMU
37 bool "Reserve memory for MMU Table"
38 help
39 If defined this option is used to setup different space for
40 MMU table than the one which will be allocated during
41 relocation.
42
43config GICV3
44 def_bool y
45
46config SYS_MALLOC_LEN
47 default 0x2000000
48
49config ZYNQ_SDHCI_MAX_FREQ
50 default 200000000
51
52source "board/xilinx/Kconfig"
53source "board/amd/versal2/Kconfig"
54
55endif