0xCAFED00D is there any way you could or would be willing to port this to RetroFW? It is closely related to OpenDingux and PICO 8 games would be very well suited for the devices that run that firmware
Side note: I'm using this on an RG280M, it works near perfectly there, no resolution issues, just the known issues with sound effects and a small selection of games not working. This is currently my favorite reason to own a 280!