Merge pull request #1525 from antonio-nino-diaz-arm/an/rpi3
authorDimitris Papastamos <[email protected]>
Fri, 17 Aug 2018 08:55:38 +0000 (09:55 +0100)
committerGitHub <[email protected]>
Fri, 17 Aug 2018 08:55:38 +0000 (09:55 +0100)
rpi3: Remove dependencies on Arm platform code


Trivial merge