tree aa7db3ecd32722de8ea74e002a8c19c1a9ffefa0
parent f8b36cc22243805b6fe4795d5793a1fcab51d228
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531530218 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1531753002 +0100

rpi3: Update documentation

Add information about direct Linux kernel boot for kernels that support
PSCI.

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