Support Official Pico-8?
You currently have FAKE08 running on this, which is better than nothing but not really great.
Would it be possible to get the official "Raspberry Pi" version of the Pico-8 runtime to work with MinUI?
In the readme, it says:
The fake08 binary used for Pico-8 is an older version compiled against MiniUI's custom SDL. This is what allows sound and audio to function as intended, but also means feature parity with upstream Pico-8 is not 1:1.
The official Raspberry package contains a readme that states:
sdl2 is required for pico8_dyn, pico8_gpio and pico8_64. You can make sure it's installed with: $ sudo apt-get install libsdl2-dev
If these are dynamically linked, can they not "just simply" load the patched SDL version that works with MinUI?