tree 5d2264a96215aed150b531d5401156ad3e997b26
parent f32a174ab9cace6757299f6aa71f0bf46c64ba98
parent 4808f8ba5a89e9f12b53ef58c4cda974587fcd72
author davidcunado-arm <david.cunado@arm.com> 1517267787 +0000
committer GitHub <noreply@github.com> 1517267787 +0000

Merge pull request #1237 from sandrine-bailleux-arm/sb/spm-timer

SPM: Map devices in the 1st GB