Playing with picorv32 on the iCE40-HX8K on Fedora - View it on GitHub