| 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 | ddccf5e | 2018-09-18 14:58:16 +0200 | [diff] [blame] | 39 | config VERSAL_OF_BOARD_DTB_ADDR |
| 40 | hex |
| 41 | default 0x1000 |
| 42 | depends on OF_BOARD |
| 43 | |
| Michal Simek | 47a766f | 2019-01-28 11:12:41 +0100 | [diff] [blame^] | 44 | config IOU_SWITCH_DIVISOR0 |
| 45 | hex "IOU switch divisor0" |
| 46 | default 0x20 |
| 47 | help |
| 48 | Setup time clock divisor for input clock. |
| 49 | |
| Siva Durga Prasad Paladugu | 4244f2b | 2019-01-08 21:47:26 +0530 | [diff] [blame] | 50 | config SYS_MEM_RSVD_FOR_MMU |
| 51 | bool "Reserve memory for MMU Table" |
| 52 | help |
| 53 | If defined this option is used to setup different space for |
| 54 | MMU table than the one which will be allocated during |
| 55 | relocation. |
| 56 | |
| Michal Simek | ec48b6c | 2018-08-22 14:55:27 +0200 | [diff] [blame] | 57 | endif |