1# SPDX-License-Identifier: GPL-2.0
2
3if ARCH_ZYNQMP_R5
4
5config SYS_BOARD
6	string "Board name"
7	default "zynqmp_r5"
8
9config SYS_VENDOR
10	string "Vendor name"
11	default "xilinx"
12
13config SYS_SOC
14	default "zynqmp-r5"
15
16config 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
24config 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
30config SYS_MALLOC_F_LEN
31	default 0x600
32
33endif
34