Merge pull request #210 from ozbenh/xics
authorMichael Neuling <mikey@neuling.org>
Tue, 23 Jun 2020 04:32:42 +0000 (14:32 +1000)
committerGitHub <noreply@github.com>
Tue, 23 Jun 2020 04:32:42 +0000 (14:32 +1000)
xics: Cleanups and add a simple ICS for use by Linux


Trivial merge