I'd love it to work on the RP2040, and perhaps even an ESP32, but we're not there yet. Just yesterday I converted FrameOS from being an interpreted python app to a 3MB compiled binary, so we're half of the way there. I'm not sure what changes I must do to get it working (e.g. integrate a wifi driver, remove GC and threads, etc), but it's in the realm of the possible.

Just found this project that could help: https://github.com/daniel-j/picostdlib

The frame you referenced has a Pi Pico build in. FrameOS needs at least a Pi Zero.

Although NIM has a pretty good embedded story, it's not entirely out of the question to port it.

Nim is great for embedded! I have that Waveshare frame and I plan to write Nim firmware/driver for it. It has no wireless connectivity though, only usb/microsd.

I have that device, it has no wireless connectivity (built on rp2040). The only IO is usb and microsd card (hijack for spi?). I have Nim drivers for a similar rp2040 based product (Inky Frame) which works great and has wifi/bluetooth (Pico W). As of now FrameOS doesn't run on rp2040.