We use Microzed board for the development of our Zynq-based product and are very happy with the hardware and with the quality and availability of the documentation (circuit daigrams, PCB layouts, BOMs, etc). At the same time this product seems to have some gaps related to the distribution of the copyrighted software licensed under GNU General Public License (such as U-Boot). There are multiple resources in the Internet that can help to provide GPL-compliant products, I would recommend:
https://www.softwarefreedom.org/resources/2008/compliance-guide.html
It seems that section 3.4 of that document may be applicable to Microzed:
3.4 Avoid the u201CBuild Guruu201D
Too many software projects rely on only one or a very few team members who know how to build and assemble the final released product. Such knowledge centralization not only creates engineering redundancy issues, but it also endangers GPL compliance, which requires you to provide build scripts.
Avoid relying on a u201Cbuild guruu201D, a single developer who is the only one who knows how to produce your final product. Make sure the build process is well defined. Train every developer on the build process for the final binary distribution, including (in the case of embedded software) generating a final firmware image suitable for distribution to the customer. Require developers to use revision control for build processes. Make a rule that adding new components to the system without adequate build instructions (or better yet, scripts) is unacceptable engineering practice.
Andrey Filippov
Elphel, Inc.
Salt Lake City, Utah