Setting up your system (Remote Development Servers)

---

⚠️ The instructions below only apply to registered participants of the FPGA training course with remote AWS development servers. Please disregard them if you are setting up a local development environment.

---

Access FPGA Server Control

• Navigate to [http://18.100.25.145:8000/]
• Introduce your user credentials (tag & password, see credentials cheat sheet below)
• Select Get Server State and hit Submit
• Inspect the response and keep the IP address (you will need it in the following sections)
• Use the Start Server and Stop Server options to start or stop your remote server

Configure Redpitaya

• Download the preconfigured SD card image from Pynq-Redpitaya-125-14-3.0.1-preconfig.img
• Flash the SD card (min 16GB). Instructions for writing SD card images can be found in pynq-doc and redpitaya-doc.
• Once SD card has been flashed, insert it into your PC and open the PYNQ partition. Edit the boot.py file and put your server's IP address into line 4:

  server_ip = "X.X.X.X"   #CHANGE TO SERVER IP
  

• Save and eject SD card
• Insert SD card into your Redpitaya (should be powered down)
• Power up your Redpitaya

Verify Connectivity

• Open FPGA Server Control
• Start your Server
• Connect via remote desktop. Protocol: RDP. Address: server IP. Credentials: see cheat sheet below
• On your remote machine, open the Firefox web browser and navigate to 10.0.0.2:9090
• You should be prompted to the PYNQ Jupyter Notebook welcome page (password: see credentials cheat sheet below).

Credentials Cheat Sheet

Resource	User	Password
FPGA (scp, ssh, jupyter notebook)	xilinx	xilinx
Remote Server (RDP)	ubuntu	top_secret
FPGA Server Ctrl	tag sent via e-mail	pwd sent via e-mail