A SoC based on picorv32, and baremetal software for it - View it on GitHub