Very cool, happy to find out about Fuzix running on these dirt cheap SoCs (I paid 0.57€ per RP2040-Zero clone earlier this year!) And someone is even working on adding TCP/IP. I’m assuming there’s no memory protection between processes due to no MMU. It would be great to be able to use the USB port for the serial connection instead of having to connect pins for a serial port connection.

There’s also https://github.com/tvlad1234/pico-rv32ima for people who are into this kind of stuff, but it requires adding SPI RAM.