1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="ZC770_XM013"
3+S:CONFIG_ARM=y
4+S:CONFIG_ZYNQ=y
5+S:CONFIG_TARGET_ZYNQ_ZC770=y
6CONFIG_OF_CONTROL=y
7CONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm013"
8