60 lines
1.2 KiB
Plaintext
60 lines
1.2 KiB
Plaintext
|
# 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 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.
|
||
|
|
|
||
|
|
config DEFINE_TCM_OCM_MMAP
|
||
|
|
bool "Define TCM and OCM memory in MMU Table"
|
||
|
|
default y if MP
|
||
|
|
help
|
||
|
|
This option if enabled defines the TCM and OCM memory and its
|
||
|
|
memory attributes in MMU table entry.
|
||
|
|
|
||
|
|
endif
|