blob: e1d66e8d32b7ed6bf9832cb5668df0c052fe4e92 [file] [log] [blame]
Michal Simekec48b6c2018-08-22 14:55:27 +02001# 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
Michal Simek47a766f2019-01-28 11:12:41 +010039config IOU_SWITCH_DIVISOR0
40 hex "IOU switch divisor0"
41 default 0x20
42 help
43 Setup time clock divisor for input clock.
44
Siva Durga Prasad Paladugu4244f2b2019-01-08 21:47:26 +053045config SYS_MEM_RSVD_FOR_MMU
46 bool "Reserve memory for MMU Table"
47 help
48 If defined this option is used to setup different space for
49 MMU table than the one which will be allocated during
50 relocation.
51
Michal Simek3899ebd2019-09-11 09:39:59 +020052config DEFINE_TCM_OCM_MMAP
53 bool "Define TCM and OCM memory in MMU Table"
54 default y if MP
55 help
56 This option if enabled defines the TCM and OCM memory and its
57 memory attributes in MMU table entry.
58
Michal Simek98da8662020-03-18 13:45:21 +010059config VERSAL_NO_DDR
60 bool "Disable DDR MMU mapping"
61 help
62 This option configures MMU with no DDR to avoid speculative
63 access to DDR memory where DDR is not present.
64
Michal Simekec48b6c2018-08-22 14:55:27 +020065endif