| # 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_MALLOC_LEN |
| default 0x2000000 |
| |
| 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 |