Merge pull request #20 from cr1901/platforms
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 21 Feb 2017 13:02:19 +0000 (14:02 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Feb 2017 13:02:19 +0000 (14:02 +0100)
Add Mercury development board (port from MiSoC)


Trivial merge