Merge pull request #77 from xobs/debug-vexriscv-enjoy
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 5 Jul 2018 14:46:24 +0000 (16:46 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Jul 2018 14:46:24 +0000 (16:46 +0200)
Enable support for vexriscv debugging


Trivial merge