There are 0 repository under mini-rv32ima topic.
Linux on a $0.15 RISC-V microcontroller
[Tested successfully] Linux on Arduino UNO / atmega328p port of mini-rv32ima. Let's run Linux on the world's worst Linux PC (and beat Dmitry Grinberg)
Running Linux on a Pi Pico!
Shameless rip off of https://github.com/tvlad1234/linux-ch32v003