FUZIX is a better fit. https://codeberg.org/EtchedPixels/FUZIX
replyIn this case I'd say https://en.wikipedia.org/wiki/NuttX
reply> This project uses CNLohr's mini-rv32ima RISC-V emulator core
replyI wonder why not use the Pico's RISC-V cores.
I wonder why not use the Pico's RISC-V cores.