1*1d6c54ecSMichal Simek# SPDX-License-Identifier: GPL-2.0 2*1d6c54ecSMichal Simek 3*1d6c54ecSMichal Simekif ARCH_ZYNQMP_R5 4*1d6c54ecSMichal Simek 5*1d6c54ecSMichal Simekconfig SYS_BOARD 6*1d6c54ecSMichal Simek string "Board name" 7*1d6c54ecSMichal Simek default "zynqmp_r5" 8*1d6c54ecSMichal Simek 9*1d6c54ecSMichal Simekconfig SYS_VENDOR 10*1d6c54ecSMichal Simek string "Vendor name" 11*1d6c54ecSMichal Simek default "xilinx" 12*1d6c54ecSMichal Simek 13*1d6c54ecSMichal Simekconfig SYS_SOC 14*1d6c54ecSMichal Simek default "zynqmp-r5" 15*1d6c54ecSMichal Simek 16*1d6c54ecSMichal Simekconfig SYS_CONFIG_NAME 17*1d6c54ecSMichal Simek string "Board configuration name" 18*1d6c54ecSMichal Simek default "xilinx_zynqmp_r5" 19*1d6c54ecSMichal Simek help 20*1d6c54ecSMichal Simek This option contains information about board configuration name. 21*1d6c54ecSMichal Simek Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header 22*1d6c54ecSMichal Simek will be used for board configuration. 23*1d6c54ecSMichal Simek 24*1d6c54ecSMichal Simekconfig SYS_MALLOC_F_LEN 25*1d6c54ecSMichal Simek default 0x600 26*1d6c54ecSMichal Simek 27*1d6c54ecSMichal Simekendif 28