Is there a way to install Picotron on Linux devices? For example Powkiddy. After all, there is a way to install Pico-8 rasp on such devices

I just tried the raspberry pi build on my Powkiddy RGB30 running ArkOS and it seemed to work. I had to open the executable from the file browser app and then plug in an external mouse to browse to a BBS cart, but once I was in a cart the controller worked. I think there is some work to be done to make it streamlined, but it looks like the important parts work.