RISC-V Electronic Badge open source hardware project - View it on GitHub