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.