Merge pull request #1237 from sandrine-bailleux-arm/sb/spm-timer
authordavidcunado-arm <david.cunado@arm.com>
Mon, 29 Jan 2018 23:16:27 +0000 (23:16 +0000)
committerGitHub <noreply@github.com>
Mon, 29 Jan 2018 23:16:27 +0000 (23:16 +0000)
commite47541ac6ef58b213fd915253e16e6fa1ae3b4a9
tree5d2264a96215aed150b531d5401156ad3e997b26
parentaca8a49041d5355a2357620256c585aa9fba0b92
parentc4fa173936899a486fb6253fc3dfe74affce6140
Merge pull request #1237 from sandrine-bailleux-arm/sb/spm-timer

SPM: Map devices in the 1st GB