Hi, I just wanted to post this information somewhere in case it's helpful for other folks.

I am running Void Linux on a Raspberry Pi 1B. Void is an independent distribution, not related to Debian or the Ubuntu or Arch families. When I downloaded the raspberry pi image of pico-8 and tried to run it I got an error that it was missing some libraries, so I manually had to install them to /usr/lib, and then was able to run it normally! Hooray!

If you're comfortable in the command line, here's how to download the missing libraries from github and install them in the correct place to be found and used by pico-8.

sudo wget https://github.com/raspberrypi/firmware/raw/master/opt/vc/lib/libbcm_host.so -P /usr/lib/ 
sudo wget https://github.com/raspberrypi/firmware/raw/master/opt/vc/lib/libvchiq_armso -P /usr/lib/ 
sudo wget https://github.com/raspberrypi/firmware/raw/master/opt/vc/lib/libvcos.so -P /usr/lib/ 

I'm running an extremely old Raspberry Pi 1B, so Pico-8 warns that it's running slower than 30fps, but I still found plenty to enjoy in playing the latest posted games and coding.

I hope this is of help to others. Cheers.