RISC-V-based, Open-Source, Arduino-Compatible Development Kit

From Slashdot:

Looks like IDE is a work in progress.