Comment by Lerc

I vaguely remember a device back in the day that buffered a 4 bitplane 640 pixel scanline to output a 320 pixel 256 colour mode.

Seems entirely doable on a rp2040. The arm cores have so much power that there's hardy any work that you'd use the Amiga for though.