diff options
Diffstat (limited to 'docs/user-guide.rst')
| -rw-r--r-- | docs/user-guide.rst | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/docs/user-guide.rst b/docs/user-guide.rst index 52cb45c09..a8bd40ce5 100644 --- a/docs/user-guide.rst +++ b/docs/user-guide.rst @@ -728,11 +728,12 @@ Arm development platform specific build options - ``ARM_LINUX_KERNEL_AS_BL33``: The Linux kernel expects registers x0-x3 to have specific values at boot. This boolean option allows the Trusted Firmware to have a Linux kernel image as BL33 by preparing the registers to these - values before jumping to BL33. This option defaults to 0 (disabled). For now, - it only supports AArch64 kernels. ``RESET_TO_BL31`` must be 1 when using it. - If this option is set to 1, ``ARM_PRELOADED_DTB_BASE`` must be set to the - location of a device tree blob (DTB) already loaded in memory. The Linux - Image address must be specified using the ``PRELOADED_BL33_BASE`` option. + values before jumping to BL33. This option defaults to 0 (disabled). For + AArch64 ``RESET_TO_BL31`` and for AArch32 ``RESET_TO_SP_MIN`` must be 1 when + using it. If this option is set to 1, ``ARM_PRELOADED_DTB_BASE`` must be set + to the location of a device tree blob (DTB) already loaded in memory. The + Linux Image address must be specified using the ``PRELOADED_BL33_BASE`` + option. - ``ARM_RECOM_STATE_ID_ENC``: The PSCI1.0 specification recommends an encoding for the construction of composite state-ID in the power-state parameter. |