blob: 9cee97b7482507498f10273fbdcad56a33a25837 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
# 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
endif
|
