| commit | f8b36cc22243805b6fe4795d5793a1fcab51d228 | [log] [tgz] |
|---|---|---|
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Sun Jul 15 12:32:32 2018 +0100 |
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Mon Jul 16 15:56:42 2018 +0100 |
| tree | 83b8c5be2a610a73e1ef43c8be49b5cd6a5f8821 | |
| parent | 69c5b9ad72cce82ed3e84f6a69a0ba8b544d9366 [diff] |
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>