But this is a Pi Pico, which is a microcontroller and not a Linux system.
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
FUZIX is a better fit. https://codeberg.org/EtchedPixels/FUZIX
In this case I'd say https://en.wikipedia.org/wiki/NuttX
> This project uses CNLohr's mini-rv32ima RISC-V emulator core
I wonder why not use the Pico's RISC-V cores.
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
FUZIX is a better fit. https://codeberg.org/EtchedPixels/FUZIX
In this case I'd say https://en.wikipedia.org/wiki/NuttX
> This project uses CNLohr's mini-rv32ima RISC-V emulator core
I wonder why not use the Pico's RISC-V cores.