diff options
author | Paul Beesley <paul.beesley@arm.com> | 2019-03-13 16:20:44 +0000 |
---|---|---|
committer | Paul Beesley <paul.beesley@arm.com> | 2019-05-22 11:28:17 +0100 |
commit | e1c5026ac7e9da1b74047bf8cb9be2a5c9564532 (patch) | |
tree | 3bb1ef189bb925077dc61581521cf4f3ffa979dc /docs/plat | |
parent | f94102ba965709aa6110e60b03a6d9f89923e3d2 (diff) |
doc: Use proper note and warning annotations
The documentation contains plenty of notes and warnings. Enable
special rendering of these blocks by converting the note prefix
into a .. note:: annotation.
Change-Id: I34e26ca6bf313d335672ab6c2645741900338822
Signed-off-by: Paul Beesley <paul.beesley@arm.com>
Diffstat (limited to 'docs/plat')
-rw-r--r-- | docs/plat/rpi3.rst | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/docs/plat/rpi3.rst b/docs/plat/rpi3.rst index d155fcbf..38c3dfa8 100644 --- a/docs/plat/rpi3.rst +++ b/docs/plat/rpi3.rst @@ -270,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 |