[hparadiz]

Two arm cores at 133 MHz. That's already more powerful than my first computer. For $4. It qualifies as a computer on it's own. It runs Linux just a hacked version with an emulated MMU

https://github.com/tvlad1234/pico-rv32ima

[Tepix]

FUZIX is a better fit. https://codeberg.org/EtchedPixels/FUZIX

[LargoLasskhyfv]

In this case I'd say https://en.wikipedia.org/wiki/NuttX

[RossBencina]

> This project uses CNLohr's mini-rv32ima RISC-V emulator core

I wonder why not use the Pico's RISC-V cores.