Hi @patocarr & @JTC , I am resuming this thread to update you on some image build improvements we just pushed into our repo. We took your feedbacks and did a PR (sdbuild flow improvements by giunatale · Pull Request #975 · Xilinx/PYNQ · GitHub) that has been recently merged in.
Along with some documentation improvements (as I already updated @JTC on another thread) that still need to be pushed to the readthedocs page though, we took care of addressing the bitstream rebuilding issue.
You can now use the provided PYNQ source distribution tarball to pass it to the Make command, so that bitstreams and other binaries are re-used instead of being rebuilt. This should fix the HDMI licensing issue for ZCU104 and also avoid to rebuild bitstreams for “unwanted” boards.
To use it, you simply do
make PYNQ_SDIST=<sdist tarball path>
The feature is already documented on the sdbuild readme and again, it is also ready to be pushed on readthedocs, it’s just a matter of time now.
Again, many thanks for interacting with us and providing valuable feedback, we really appreciate you guys and we want to thank you for being an active part of our community!