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)
commit6a7604cbb06454813541bc308791e90e051555af
tree253a8a3abe6660f315d4e9b3788863babd20752a
parentbedd428d9d190f61ef075cfdabc62b8ec8428ba1
parent5f9ff09c08d27384dffee9402fd2ee634a35a1a5
Merge pull request #24 from mithro/vivado-mor1k-fix

vivado: Fix segfault with or1k.