RISC-V Electronic Badge open source software Zephyr RTOS application - View it on GitHub