Merge pull request #24 from mithro/vivado-mor1k-fix
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 4 May 2017 13:09:00 +0000 (15:09 +0200)
committerGitHub <noreply@github.com>
Thu, 4 May 2017 13:09:00 +0000 (15:09 +0200)
vivado: Fix segfault with or1k.


Trivial merge