Merge pull request #123 from cr1901/prv32-min
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 1 Nov 2018 09:45:32 +0000 (10:45 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Nov 2018 09:45:32 +0000 (10:45 +0100)
PicoRV32 Enhancements


Trivial merge