[blippage]

There's also Fuzix, which is Unix-like. https://fuzix.org/

Supports Arm M0 (Raspberry Pi Pico), ESP32 and a variety of others, including Z80.