...
- Flash Ubuntu 18.04 on hardware
- Disable internal display in BIOS [IPG to HDMI2, Force Lid to Off]
- If that doesn't work, add command to .bashrc "xrandr --output DSI-1 --off"
- Run "apt update", then "apt upgrade"
- Use apt to install openssh-server, g++, and make
- run "sudo systemctl enable ssh"
- Git clone the GSW repo "https://github.com/WillMerges/GSW-2021/"
- cd into the project and run ". setenv"
- run "make"