Hi folks,
I've been wanting to make a handheld Pico-8 console, powered by a Raspberry Pi. I hadn't realised that the Raspi version wasn't available yet, but I thought I'd see if I could get it working anyway.

A company called Eltechs makes a product called Exagear Desktop which allows you to run x86 binaries on an ARM host - apparently it's about four times as fast as QEMU. I bought a license (which are only about £8 at the moment), but sadly it doesn't work because it seems Exagear Desktop doesn't support SDL :-P

I'll continue tinkering, but I suspect this route is a dead end until Eltechs adds OpenGL support.