tree ae309e6bb4344ce59b01b33760492b11d496eb47
parent 2257b9fafdafb86dc750f4b4219d8b2061307565
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1509979744 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1512123647 +0000

rpi3: Introduce AArch64 Raspberry Pi 3 port

This port can be compiled to boot an AArch64 or AArch32 payload with the
build option `RPI3_BL33_AARCH32`.

Note: This is not a secure port of the Trusted Firmware. This port is
only meant to be a reference implementation to experiment with an
inexpensive board in real hardware.

Change-Id: Ide58114299289bf765ef1366199eb05c46f81903
Co-authored-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>