An error occurred while fetching folder content.
Antonio Nino Diaz
authored
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>| Name | Last commit | Last update |
|---|