| 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 | |
| 39 | endif |