Merge pull request #223 from mikey/ecp5
authorPaul Mackerras <paulus@ozlabs.org>
Wed, 8 Jul 2020 00:48:26 +0000 (10:48 +1000)
committerGitHub <noreply@github.com>
Wed, 8 Jul 2020 00:48:26 +0000 (10:48 +1000)
Make ECP5 devices work and add github artifacts


Trivial merge