Merge pull request #1222 from davidcunado-arm/dp/bl31_mem
authordavidcunado-arm <david.cunado@arm.com>
Thu, 11 Jan 2018 18:33:43 +0000 (18:33 +0000)
committerGitHub <noreply@github.com>
Thu, 11 Jan 2018 18:33:43 +0000 (18:33 +0000)
commitf10c0c459df55e3346c507b1b96d0304ec658d3a
treea382e649d8a6e474d20afa7b9ce0dbd6908655f2
parent08e06be81946de2701429e72840bb76ee3f9a48e
parentf336d4afa5a45139b3fa10674aa71fc8ebbb9b2a
Merge pull request #1222 from davidcunado-arm/dp/bl31_mem

Increase BL31 memory space by 2 pages