Merge "rpi3: Add "rpi" platform directory" into integration
authorSandrine Bailleux <[email protected]>
Mon, 16 Sep 2019 12:14:18 +0000 (12:14 +0000)
committerTrustedFirmware Code Review <[email protected]>
Mon, 16 Sep 2019 12:14:18 +0000 (12:14 +0000)

Trivial merge