> The Plan9 operating system could probably run on this hardware.
Sadly, I don't think so; the RP2350 is has no MMU (only an MPU), and most general-purpose operating systems need one. You could possibly build sth in a similar performance class using a [Baochip](https://baochip.com/ ), though, which does have an MMU.