NASR-M board bring-up, first JTAG connection

We’ve got a JTAG connection, ladies and gentlemen. My cheap Xilinx platform cable I ordered from AliExpress actually worked. I’ve got two of them. The first one didn’t work well and was pulling down the 3V3 power supply low, but the second one - bingo! The next step is a bare-metal CPU test. Lessons learned: before succumbing to despair and unmotivated aggression, check the bootstrap pins and set…