It's a shame there's no official PICO-8 runtime for any of those little devices, last time I checked compatibility was a bit spotty from the open-sourced reimplementations. Things have probably gotten better on that front since I last looked though.
This thing supports a Raspberry Pi compute module so I assume it will run the Pi version of PICO-8.
This thing supports a Raspberry Pi compute module so I assume it will run the Pi version of PICO-8.