Merge pull request #1483 from antonio-nino-diaz-arm/an/rpi3-psci
authordanh-arm <[email protected]>
Thu, 19 Jul 2018 14:37:54 +0000 (15:37 +0100)
committerGitHub <[email protected]>
Thu, 19 Jul 2018 14:37:54 +0000 (15:37 +0100)
rpi3: PSCI and Linux boot improvements


Trivial merge