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 SYS_MALLOC_F_LEN
25	default 0x600
26
27endif
28