| commit | 74b2a5176efbc746e7a42e9ef9a453e47660c681 | [log] [tgz] |
|---|---|---|
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Tue Nov 20 11:57:41 2018 +0100 |
| committer | GitHub <noreply@github.com> | Tue Nov 20 11:57:41 2018 +0100 |
| tree | 55dcfea34916b6d666cb4fca006a0fe1ca0c0867 | |
| parent | d9453fdc815ff2edd959989ca30d9189bd3d85b6 [diff] | |
| parent | f820cad3a36dc27e184e6a73632a35aa51e34188 [diff] |
Merge pull request #1685 from pbatard/rpi3-use-uefi-map rpi3: add RPI3_USE_UEFI_MAP build option