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>
1 parent 6d924ca commit 76c944a48db13c29007e1a39a0e1631cc2d4fa4e
@Antonio Nino Diaz Antonio Nino Diaz authored on 15 Jul 2018
Showing 2 changed files
View
plat/rpi3/platform.mk
View
plat/rpi3/rpi3_bl31_setup.c