xref: /openbmc/u-boot/arch/arm/mach-versal/Kconfig (revision 8f6d5bbb)
1# SPDX-License-Identifier: GPL-2.0+
2
3if ARCH_VERSAL
4
5config SYS_BOARD
6	string "Board name"
7	default "versal"
8
9config SYS_VENDOR
10	string "Vendor name"
11	default "xilinx"
12
13config SYS_SOC
14	default "versal"
15
16config SYS_CONFIG_NAME
17	string "Board configuration name"
18	default "xilinx_versal"
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 GICV3
25	def_bool y
26
27config SYS_MALLOC_LEN
28	default 0x2000000
29
30config COUNTER_FREQUENCY
31	int "Timer clock frequency"
32	default 0
33	help
34	  Setup time clock frequency for certain platform
35
36config ZYNQ_SDHCI_MAX_FREQ
37	default 200000000
38
39config VERSAL_OF_BOARD_DTB_ADDR
40	hex
41	default 0x1000
42	depends on OF_BOARD
43
44config IOU_SWITCH_DIVISOR0
45	hex "IOU switch divisor0"
46	default 0x20
47	help
48	  Setup time clock divisor for input clock.
49
50config SYS_MEM_RSVD_FOR_MMU
51	bool "Reserve memory for MMU Table"
52	help
53	  If defined this option is used to setup different space for
54	  MMU table than the one which will be allocated during
55	  relocation.
56
57endif
58