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>
1 parent 76c944a commit 5e2e024b3dde49239761a866f5c639eb524443f4
@Antonio Nino Diaz Antonio Nino Diaz authored on 13 Jul 2018
Showing 1 changed file
View
docs/plat/rpi3.rst