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)
rpi3: add RPI3_USE_UEFI_MAP build option


Trivial merge