| Michal Simek | ec48b6c | 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 | |
| 24 | config GICV3 |
| 25 | def_bool y |
| 26 | |
| 27 | config SYS_MALLOC_LEN |
| 28 | default 0x2000000 |
| 29 | |
| 30 | config COUNTER_FREQUENCY |
| 31 | int "Timer clock frequency" |
| 32 | default 0 |
| 33 | help |
| 34 | Setup time clock frequency for certain platform |
| 35 | |
| 36 | config ZYNQ_SDHCI_MAX_FREQ |
| 37 | default 200000000 |
| 38 | |
| Michal Simek | 47a766f | 2019-01-28 11:12:41 +0100 | [diff] [blame] | 39 | config IOU_SWITCH_DIVISOR0 |
| 40 | hex "IOU switch divisor0" |
| 41 | default 0x20 |
| 42 | help |
| 43 | Setup time clock divisor for input clock. |
| 44 | |
| Siva Durga Prasad Paladugu | 4244f2b | 2019-01-08 21:47:26 +0530 | [diff] [blame] | 45 | config SYS_MEM_RSVD_FOR_MMU |
| 46 | bool "Reserve memory for MMU Table" |
| 47 | help |
| 48 | If defined this option is used to setup different space for |
| 49 | MMU table than the one which will be allocated during |
| 50 | relocation. |
| 51 | |
| Michal Simek | 3899ebd | 2019-09-11 09:39:59 +0200 | [diff] [blame] | 52 | config DEFINE_TCM_OCM_MMAP |
| 53 | bool "Define TCM and OCM memory in MMU Table" |
| 54 | default y if MP |
| 55 | help |
| 56 | This option if enabled defines the TCM and OCM memory and its |
| 57 | memory attributes in MMU table entry. |
| 58 | |
| Michal Simek | 98da866 | 2020-03-18 13:45:21 +0100 | [diff] [blame] | 59 | config VERSAL_NO_DDR |
| 60 | bool "Disable DDR MMU mapping" |
| 61 | help |
| 62 | This option configures MMU with no DDR to avoid speculative |
| 63 | access to DDR memory where DDR is not present. |
| 64 | |
| Michal Simek | ec48b6c | 2018-08-22 14:55:27 +0200 | [diff] [blame] | 65 | endif |