Merge pull request #1464 from antonio-nino-diaz-arm/an/rpi3-ints
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 12 Jul 2018 10:52:53 +0000 (11:52 +0100)
committerGitHub <noreply@github.com>
Thu, 12 Jul 2018 10:52:53 +0000 (11:52 +0100)
rpi3: Implement simple interrupt routing


Trivial merge