Raspberry Pi Setup - Hyp-ed/hyped-2024 GitHub Wiki

This setup was devised during the January 2024 Hackathon. As such, this is almost certainly not the best method of setting up a Pi for use with our code. Once a more formal method has been devised, this page should be updated.

TODO: Find a better way to set up the Pis for connections. Currently, every time someone wants to connect to the Pi, they either have to change the Wifi config settings on the SD card by mounting the card on Linux, or reflash the entire card if they can't do that. Current idea is to have the Pi broadcast its own hotspot which can then be connected to from a laptop and then connections can be established with ssh [email protected].

To set up a Raspberry Pi 4b for use in testing, you will need a mobile device which can produce a hotspot (or access to any other wireless network, other than eduroam, which supports 2.4GHz connections; if you can get it to work on eduroam though, nice work):

  • Download and install the Raspberry Pi Imager: https://www.raspberrypi.com/software/
  • Insert an SD card and select Raspberry Pi OS Lite (64-bit) for installing
  • In addition configuration options, set the host name as hyped, the user as hyped and the password as spacex, and tick the box for Enable SSH
  • Enter your hotspot's network details in this screen too
  • Wait for the OS to install on the SD card, then insert the SD card into the Raspberry Pi
  • Power on the Raspberry Pi by connecting it to power through USB. On first boot, you will need to wait upwards of 2 minutes for the device to fully boot and for the Pi to connect to your wireless network. In this time, you should connect to the same wireless network as the Pi on your laptop

Your Pi is now ready for SSH connections. In your terminal, navigate to the folder containing your hyped-2024 folder (eg, \home\<username>) and run the following command:

$ scp -r hyped-2024 [email protected]:/home/hyped

You may be prompted to add an SSH fingerprint at this point, which you can enter yes to do so. You should also enter the login credentials you set up before to complete the scp operation.

Once this operation completes, connect to the Pi by typing ssh [email protected] and run the following commands within the Raspberry Pi's terminal:

$ sudo apt get update
$ sudo apt get upgrade
$ sudo apt install -y git cmake libeigen3-dev libncurses5-dev libncursesw5-dev libboost-all-dev // This step will take a while
$ cd hyped-2024
$ mkdir build
$ cd build
$ cmake ..
$ make -j hyped_debugger

You should now have a copy of the hyped_debugger executable in \build\bin. From here, follow the instructions here to run the debugger: https://github.com/Hyp-ed/hyped-2024/wiki/Debug-REPL

⚠️ **GitHub.com Fallback** ⚠️