The Raspberry Pi 4 workstations connect a Raspberry Pi 4 Model B single-board computer and two microcontrollers- a Raspberry Pi Pico and an Arduino UNO.
The Raspberry Pi 4 normally runs a read-only operating system loaded over the network. The “hackerspace” user is automatically logged in to a GNOME desktop. From here users can use the Thonny IDE to program the Pi Pico and the Arduino IDE to program the Arduino UNO.
Users can not alter the Pi 4’s configuration, but the Pi 4 can be booted from a user-supplied USB or SD card. The Raspberry Pi documentation on creating a bootable SD (or USB) is here: https://hackerspace.cs.rutgers.edu/pi-boot-media