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