1*6d6e3dbeSMichal SimekCONFIG_ARM=y 2*6d6e3dbeSMichal SimekCONFIG_ARCH_ZYNQ=y 3*6d6e3dbeSMichal SimekCONFIG_TARGET_ZYNQ_ZC770=y 4*6d6e3dbeSMichal SimekCONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm011" 5*6d6e3dbeSMichal Simek# CONFIG_SYS_MALLOC_F is not set 6*6d6e3dbeSMichal SimekCONFIG_SPL=y 7*6d6e3dbeSMichal SimekCONFIG_FIT=y 8*6d6e3dbeSMichal SimekCONFIG_FIT_VERBOSE=y 9*6d6e3dbeSMichal SimekCONFIG_FIT_SIGNATURE=y 10*6d6e3dbeSMichal SimekCONFIG_SYS_EXTRA_OPTIONS="ZC770_XM011" 11*6d6e3dbeSMichal Simek# CONFIG_CMD_IMLS is not set 12*6d6e3dbeSMichal Simek# CONFIG_CMD_FLASH is not set 13*6d6e3dbeSMichal Simek# CONFIG_CMD_SETEXPR is not set 14