rpi3: fix bad formatting in rpi3.rst

d4fd0219 (pull request #1685) introduced unwanted formatting
such as bold/italic in the description for RPI3_USE_UEFI_MAP.
This commit is contained in:
Pete Batard 2018-11-20 16:25:15 +00:00
parent 16ea789b03
commit 934bbea18b
1 changed files with 3 additions and 4 deletions

View File

@ -269,7 +269,6 @@ The following build options are supported:
0x3F000000 +-----------------+
| I/O |
- ``BL32``: This port can load and run OP-TEE. The OP-TEE image is optional.
Please use the code from `here <https://github.com/OP-TEE/optee_os>`__.
Build the Trusted Firmware with option ``BL32=tee-header_v2.bin