Merge pull request #1685 from pbatard/rpi3-use-uefi-map
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 20 Nov 2018 10:57:41 +0000 (11:57 +0100)
committerGitHub <noreply@github.com>
Tue, 20 Nov 2018 10:57:41 +0000 (11:57 +0100)
commitd4fd0219c3a8ba01131208bd73fcb2b0a769c426
tree55dcfea34916b6d666cb4fca006a0fe1ca0c0867
parent119480f496569d8b0251c1a73551b2781ea3e979
parent4dcf1fade23bf4875b9cdd7d0854026736295235
Merge pull request #1685 from pbatard/rpi3-use-uefi-map

rpi3: add RPI3_USE_UEFI_MAP build option