nu60bgec

For what it's worth, the bash script: **ci/scripts/build-bitstream-vivado.sh top_englishbreakfast cw305** successfully runs, and after running this, I'm now able to successfully proceed with Step 4 from the Getting Started documentation,...