tree a382e649d8a6e474d20afa7b9ce0dbd6908655f2
parent e0db40b1da6dd17c7a241d162713b3da032df522
parent fa2422a6a066197f4380ff9228fd00cd42c20c70
author davidcunado-arm <david.cunado@arm.com> 1515695623 +0000
committer GitHub <noreply@github.com> 1515695623 +0000

Merge pull request #1222 from davidcunado-arm/dp/bl31_mem

Increase BL31 memory space by 2 pages