commit | a4aec60a6ae92261ac8d80167c862c6a49725031 | [log] [tgz] |
---|---|---|
author | davidcunado-arm <david.cunado@arm.com> | Thu Jan 11 18:33:43 2018 +0000 |
committer | GitHub <noreply@github.com> | Thu Jan 11 18:33:43 2018 +0000 |
tree | a382e649d8a6e474d20afa7b9ce0dbd6908655f2 | |
parent | e0db40b1da6dd17c7a241d162713b3da032df522 [diff] | |
parent | fa2422a6a066197f4380ff9228fd00cd42c20c70 [diff] |
Merge pull request #1222 from davidcunado-arm/dp/bl31_mem Increase BL31 memory space by 2 pages