I've got a Raspberry Pi 400 that I've done some Pico-8 stuff on.

Does anyone know if there is a plan to release a binary for Raspberry? Picotron feels like the perfect match with the Rapsberry Pi 400.

Raspi 64-bit is listed for Picotron 0.2 on the Roadmap, likely to be released around 2024 Q4. As the Raspberry Pi 400 has a 64-bit processor (at least according to a quick internet search), it should work with that.

I don't know about the plan to release on Raspberry Pi. I will say that that Picotron runs beautifully with no problems so far on my Raspberry Pi 5 using Box64.

Interested in a Raspberry Pi 400 version too.

Wonder too for raspi...and how about Retropie retroarch core too? Dream to see Picotron games on my Raspi based arcade cab.