I'll note in passing that during this project I began and extended a scheme of using my connection to U-boot over a serial link as a remote protocol that I manipulate via Python scripts. This has been very useful and effective.
The U-boot on my board identifies itself as follows:1.0.0.47 (Dec 07 2017 - 00:36:15 +0800) Model: Zynq Zed Development Board DRAM: ECC disabled 256 MiB NAND: 128 MiB MMC: zynq_sdhci: 0
Tom's Computer Info / [email protected]