The Dabao open-source hardware board features a Boachip-1x RISC-V MCU, whose RTL Verilog files are also open, and is IRIS ...
In recent years, integrated platforms equipped with microcontrollers (with Arduino probably being the best-known brand) have been gaining popularity.
Getting started with Raspberry Pi can be a bit daunting for a newcomer, but these tips will have you on your way to programming fun projects in no time.