tree becd9ad56cb522d5d7e5436fc6cdf60476fea69b
parent 4fe99c57b651f339dfe9077eaea36995879ac8d9
parent a5f72811709be6bc9175128579622447d29b8c69
author davidcunado-arm <david.cunado@arm.com> 1505296744 +0100
committer GitHub <noreply@github.com> 1505296744 +0100

Merge pull request #1097 from davidcunado-arm/dc/reset_bl31

plat/arm: Fix BL31_BASE when RESET_TO_BL31=1