| Michal Simek | 4b066a1 | 2018-08-22 14:55:27 +0200 | [diff] [blame] | 1 | # SPDX-License-Identifier: GPL-2.0+ |
| 2 | |
| 3 | if ARCH_VERSAL |
| 4 | |
| 5 | config SYS_BOARD |
| 6 | string "Board name" |
| 7 | default "versal" |
| 8 | |
| 9 | config SYS_VENDOR |
| 10 | string "Vendor name" |
| 11 | default "xilinx" |
| 12 | |
| 13 | config SYS_SOC |
| 14 | default "versal" |
| 15 | |
| 16 | config 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 | |
| Michal Simek | 4b066a1 | 2018-08-22 14:55:27 +0200 | [diff] [blame] | 24 | config SYS_MALLOC_LEN |
| 25 | default 0x2000000 |
| 26 | |
| 27 | config COUNTER_FREQUENCY |
| 28 | int "Timer clock frequency" |
| 29 | default 0 |
| 30 | help |
| 31 | Setup time clock frequency for certain platform |
| 32 | |
| 33 | config ZYNQ_SDHCI_MAX_FREQ |
| 34 | default 200000000 |
| 35 | |
| Michal Simek | f56f7d1 | 2019-01-28 11:12:41 +0100 | [diff] [blame] | 36 | config IOU_SWITCH_DIVISOR0 |
| 37 | hex "IOU switch divisor0" |
| 38 | default 0x20 |
| 39 | help |
| 40 | Setup time clock divisor for input clock. |
| 41 | |
| Siva Durga Prasad Paladugu | 775aa95 | 2019-01-08 21:47:26 +0530 | [diff] [blame] | 42 | config SYS_MEM_RSVD_FOR_MMU |
| 43 | bool "Reserve memory for MMU Table" |
| 44 | help |
| 45 | If defined this option is used to setup different space for |
| 46 | MMU table than the one which will be allocated during |
| 47 | relocation. |
| 48 | |
| Michal Simek | fe2eb11 | 2019-09-11 09:39:59 +0200 | [diff] [blame] | 49 | config DEFINE_TCM_OCM_MMAP |
| 50 | bool "Define TCM and OCM memory in MMU Table" |
| 51 | default y if MP |
| 52 | help |
| 53 | This option if enabled defines the TCM and OCM memory and its |
| 54 | memory attributes in MMU table entry. |
| 55 | |
| Michal Simek | dfcd21d | 2020-03-18 13:45:21 +0100 | [diff] [blame] | 56 | config VERSAL_NO_DDR |
| 57 | bool "Disable DDR MMU mapping" |
| 58 | help |
| 59 | This option configures MMU with no DDR to avoid speculative |
| 60 | access to DDR memory where DDR is not present. |
| 61 | |
| Michal Simek | 5f88485 | 2020-08-27 15:34:11 +0200 | [diff] [blame] | 62 | source "board/xilinx/Kconfig" |
| 63 | source "board/xilinx/versal/Kconfig" |
| 64 | |
| Michal Simek | 4b066a1 | 2018-08-22 14:55:27 +0200 | [diff] [blame] | 65 | endif |