[josephg]

Thanks; but I don’t want an MCU. I don’t even know what an MCU is. Arduino style devices aren’t interesting to me.

I want something I can run Linux, like a raspberry pi but RISC-V. I know there were some bigger development boards out there for $600+ a few years back. Is there anything in the pipes which is smaller, for hobbyist messing around?

[goosedragons]

There is at least one now called the Sipeed Nezha, costs about $115 on Aliexpress with 1GB RAM. Seems like it's similar to an older RPi.

[josephg]

Oh thanks for pointing me in the right direction. It looks like they're now shipping $20 development boards with their new chips in the Sipeed LicheeRV. 512MB of ram and linux support:

https://www.aliexpress.com/item/1005003594875290.html