diff options
Diffstat (limited to 'docs/plat/rpi3.rst')
| -rw-r--r-- | docs/plat/rpi3.rst | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/docs/plat/rpi3.rst b/docs/plat/rpi3.rst index 122b1de61..38c3dfa82 100644 --- a/docs/plat/rpi3.rst +++ b/docs/plat/rpi3.rst @@ -1,9 +1,5 @@ -Trusted Firmware-A for Raspberry Pi 3 -===================================== - - - -.. contents:: +Raspberry Pi 3 +============== The `Raspberry Pi 3`_ is an inexpensive single-board computer that contains four Arm Cortex-A53 cores. @@ -167,7 +163,7 @@ Secondary cores ~~~~~~~~~~~~~~~ This port of the Trusted Firmware-A supports ``PSCI_CPU_ON``, -`PSCI_SYSTEM_RESET`` and ``PSCI_SYSTEM_OFF``. The last one doesn't really turn +``PSCI_SYSTEM_RESET`` and ``PSCI_SYSTEM_OFF``. The last one doesn't really turn the system off, it simply reboots it and asks the VideoCore firmware to keep it in a low power mode permanently. @@ -274,11 +270,12 @@ The following build options are supported: BL32_EXTRA1=tee-pager_v2.bin BL32_EXTRA2=tee-pageable_v2.bin`` to put the binaries into the FIP. - Note: If OP-TEE is used it may be needed to add the following options to the - Linux command line so that the USB driver doesn't use FIQs: - ``dwc_otg.fiq_enable=0 dwc_otg.fiq_fsm_enable=0 dwc_otg.nak_holdoff=0``. - This will unfortunately reduce the performance of the USB driver. It is needed - when using Raspbian, for example. + .. warning:: + If OP-TEE is used it may be needed to add the following options to the + Linux command line so that the USB driver doesn't use FIQs: + ``dwc_otg.fiq_enable=0 dwc_otg.fiq_fsm_enable=0 dwc_otg.nak_holdoff=0``. + This will unfortunately reduce the performance of the USB driver. It is + needed when using Raspbian, for example. - ``TRUSTED_BOARD_BOOT``: This port supports TBB. Set this option to 1 to enable it. In order to use TBB, you might want to set ``GENERATE_COT=1`` to let the |