I haven’t though I just started doing some pico8 development. It would seem almost ideal for those kind of games.

It seems like you can. Pico8 does have a raspberry pi (ARM cpu version) Through retro-arch? I’m not sure how it all goes together.

https://retrogamecorps.com/2021/02/01/review-powkiddy-v90/am...

This is an unofficial player.

https://github.com/jtothebell/fake-08