This is an old revision of the document!
When working on new low-level drivers, kernel improvements or FPGA configurations you have to control the board upon a POR (power-on reset). For this you have to set the jumpers on your MicroZed board as follows
.
This will boot the device from JTAG. The settings of the jumpers will be read only at powerup! Hence, make sure to cycle the supply power after changing the jumper settings.