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)
commit4cdd67990891b91b551c813c1f9bf56b987f8a03
treec8e5b45ade90ce6bb58de5b37c96312e4b16bf27
parentf7969b660aca558342fe1471419922a106001f1d
parente56f71824d3943134182414b6c71428cada8d731
Merge pull request #123 from cr1901/prv32-min

PicoRV32 Enhancements