2018-08-22 12:55:27 +00:00
|
|
|
# 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
|
|
|
|
|
|
2018-09-18 12:58:16 +00:00
|
|
|
config VERSAL_OF_BOARD_DTB_ADDR
|
|
|
|
|
hex
|
|
|
|
|
default 0x1000
|
|
|
|
|
depends on OF_BOARD
|
|
|
|
|
|
2018-08-22 12:55:27 +00:00
|
|
|
endif
|
