A .p8 rom file is enough to play on Anbernic actually! Here’s some guide (as I’m not familiar with Pico8 myself unfortunately)
Ah thank you for the info! I will check out that guide.