+First double check if you are running 64-bit or 32-bit Raspberry Pi OS.
+```sh
+uname -m
+```
+If the output of the above command is `aarch64`, you are 64-bit, and if the output is `armv7` or something similar, you are 32-bit.
+
+In the case that you are 64-bit, you should download the latest pre-compiled binary titled `picolauncher-linux-aarch64.zip`. Otherwise, download `picolauncher-linux-armv7.zip`. Similar to the above instructions, unzip and enter the directory
+```sh
+unzip picolauncher-linux-aarch64.zip
+cd picolauncher-linux-aarch64/
+```
+
+Once again, add the pico8 directory to your PATH environment variables in your `.bashrc` or equivalent:
+```sh
+export PATH="$PATH:
"
+```
+
+When launching **PicoLauncher** and supplying the binary explicitly, if you are on 64-bit Raspberry Pi, ensure that you are using the `pico8_64` binary.
+
+