tree 83b8c5be2a610a73e1ef43c8be49b5cd6a5f8821
parent 69c5b9ad72cce82ed3e84f6a69a0ba8b544d9366
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531654352 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531753002 +0100

rpi3: Add support for direct Linux kernel boot

This option allows the Trusted Firmware to pass the correct arguments to
a 32 or 64-bit Linux kernel without the need of an intermediate loader
such as U-Boot.

Change-Id: I2b22e8933fad6a614588ace559f893e97329801f
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>