I'm just really curious what libraries etc. Zeb used to make Pico8, and make it cross platform. SDL2 maybe?

Thank you. I had a feeling it would be somewhere obvious, so I checked various places on the website. Forgot about the manual... :)

Dom't mean to derail the thread, but could someone use these libraries to create a pico cart player for something like an O-Droid GO?

I know they have some games running under SDL1.2, but not certain about 2.

Unless this would infringe on some use clause,in which case forget I mentioned it ;)

There's at least one open source Pico-8 cart player based on Lua Love, which is in turn based on SDL 2: https://github.com/picolove/picolove

I see Lua mentioned as a target language for ESP32 projects, so I presume the stock interpreter works fine. If that plus SDL 2 gets Lua Love working, that might be a path. CPU speed and RAM of the ODroid look super tight for this purpose but I've never actually profiled Pico-8 or Picolove. :)