1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="ZC770_XM012"
3CONFIG_ARM=y
4CONFIG_ZYNQ=y
5CONFIG_TARGET_ZYNQ_ZC770=y
6CONFIG_OF_CONTROL=y
7CONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm012"
8# CONFIG_SYS_MALLOC_F is not set
9CONFIG_FIT=y
10CONFIG_FIT_VERBOSE=y
11CONFIG_FIT_SIGNATURE=y
12