diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-07-14 02:03:38 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-07-16 15:56:42 +0100 |
commit | 5e2e024b3dde49239761a866f5c639eb524443f4 (patch) | |
tree | aa7db3ecd32722de8ea74e002a8c19c1a9ffefa0 /lib/stdlib/printf.c | |
parent | 76c944a48db13c29007e1a39a0e1631cc2d4fa4e (diff) |
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>
Diffstat (limited to 'lib/stdlib/printf.c')
0 files changed, 0 insertions, 0 deletions