pico8 has a raspberry pi release so most arm linux setups should work. I've gotten pico8 running using AmberELEC (https://github.com/AmberELEC/AmberELEC) + RG351 (https://www.amazon.com/Handheld-Console-Portable-Classic-350...) which is arm linux.

picoSYNTH is made with pico8 which (afaik) only supports intel. Haven't tested anything else myself.