1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="ZC770_XM012"
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-xm012"
8