development setup

README.md

@@ -28,6 +28,10 @@ Notes:
 
 - The impure build process is also compatible with non-Nix systems.
 - If the board is connected to the local machine, use the ``local_run.sh`` script.
+- Due to questionable Zynq design decisions, JTAG boot works only once per power cycle.
+  A good workaround is to power the Red Pitaya through a uhubctl-compatible USB hub and
+  boot with a command such as:
+  ``ssh rpi-3.m-labs.hk "uhubctl -a off -p 4; sleep 2; uhubctl -a on -p 4; sleep 2" && ./remote_run.sh -i``
 
 License
 -------

remote_run.sh

@@ -11,7 +11,7 @@ if [ -z "$SZL" ]; then
     exit 1
 fi
 
-target_host="rpi-4.m-labs.hk"
+target_host="rpi-3.m-labs.hk"
 impure=0
 pure_dir="result"
 impure_dir="build"