commit | d4fd0219c3a8ba01131208bd73fcb2b0a769c426 | [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 | 119480f496569d8b0251c1a73551b2781ea3e979 [diff] | |
parent | 4dcf1fade23bf4875b9cdd7d0854026736295235 [diff] |
Merge pull request #1685 from pbatard/rpi3-use-uefi-map rpi3: add RPI3_USE_UEFI_MAP build option