Michal Simek | b513bcd | 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 | |||||
Tom Rini | 28d45a3 | 2021-12-17 18:08:42 -0500 | [diff] [blame] | 16 | config CPU_FREQ_HZ |
17 | int "CPU frequency" | ||||
18 | default 800000000 | ||||
19 | help | ||||
20 | The value, in Hz, that the CPU clock is running at. | ||||
21 | |||||
Michal Simek | b513bcd | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 22 | config SYS_MALLOC_F_LEN |
23 | default 0x600 | ||||
24 | |||||
25 | endif |