Modifications of the "picosoc" picorv32 based SoC for my classes of DSH - View it on GitHub