To start off, I do not take credit for this. For reference, I got the information below (minus tweaks) from here. Open a terminal session, and type the following commands: sudo su wget -q -O - https://download.bell-sw.com/pki/GPG-KEY-bellsoft | apt-key add - echo "deb [arch=armhf] https: