Re: ZX81 option for Raspberry PI?
The Pico, which has the RP2040 on board, has some nice features, such as programmable state machines, IRQs, lots of GPIOs, I2C and SPI, and built-in PWM. I've not looked too closely at what the Pi has, but I reckon you could get the two talking to each other at a fair old rate, and have the Pico offload heavy tasks to the Pi, and the Pi offload complex control tasks to the Pico, in near real-time.