1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768 |
- # 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.
- config VERSAL_NO_DDR
- bool "Disable DDR MMU mapping"
- help
- This option configures MMU with no DDR to avoid speculative
- access to DDR memory where DDR is not present.
- source "board/xilinx/Kconfig"
- source "board/xilinx/versal/Kconfig"
- endif
|