Hello,
I have ported the TinyRocketConfig design on the arty fpga using the make command shown in the "Prototyping flow" in the chipyard docs. However, looking at the schematic of the design, after running implementation in vivado, shows some pads left unconnected that may be used by the JTAG. I have attached the image of the schematic showing only the pins that are connected with the design.
I doubt that these connections are complete to connect JTAG and run bare-metal tests on top of the fpga board.
Any help regarding this matter?