rpi3: Add support for direct Linux kernel boot
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Sun, 15 Jul 2018 11:32:32 +0000 (12:32 +0100)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Mon, 16 Jul 2018 14:56:42 +0000 (15:56 +0100)
commit76c944a48db13c29007e1a39a0e1631cc2d4fa4e
tree83b8c5be2a610a73e1ef43c8be49b5cd6a5f8821
parent6d924ca91b4643cb4b9f88ac2edf72d097dca271
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>
plat/rpi3/platform.mk
plat/rpi3/rpi3_bl31_setup.c