Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 1 | # SPDX-License-Identifier: GPL-2.0 |
| 2 | |
| 3 | if ARCH_ZYNQMP_R5 |
| 4 | |
| 5 | config SYS_BOARD |
| 6 | string "Board name" |
| 7 | default "zynqmp_r5" |
| 8 | |
| 9 | config SYS_VENDOR |
| 10 | string "Vendor name" |
| 11 | default "xilinx" |
| 12 | |
| 13 | config SYS_SOC |
| 14 | default "zynqmp-r5" |
| 15 | |
| 16 | config SYS_CONFIG_NAME |
| 17 | string "Board configuration name" |
| 18 | default "xilinx_zynqmp_r5" |
| 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 | |
Tom Rini | e7b7c67 | 2021-12-17 18:08:42 -0500 | [diff] [blame] | 24 | config CPU_FREQ_HZ |
| 25 | int "CPU frequency" |
| 26 | default 800000000 |
| 27 | help |
| 28 | The value, in Hz, that the CPU clock is running at. |
| 29 | |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 30 | config SYS_MALLOC_F_LEN |
| 31 | default 0x600 |
| 32 | |
| 33 | endif |