diff options
Diffstat (limited to 'docs/plat')
| -rw-r--r-- | docs/plat/rpi3.rst | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/plat/rpi3.rst b/docs/plat/rpi3.rst index 2f3755132..a22bfc6a9 100644 --- a/docs/plat/rpi3.rst +++ b/docs/plat/rpi3.rst @@ -236,9 +236,9 @@ The following build options are supported: enables the default UART (currently UART1) for runtime messages. - ``RPI3_USE_UEFI_MAP``: Set to 1 to build ATF with the altername memory - mapping required for an UEFI firmware payload. These changes are needed - to be able to run Windows on ARM64. This option, which is disabled by - default, results in the following memory mappings: + mapping required for an UEFI firmware payload. These changes are needed + to be able to run Windows on ARM64. This option, which is disabled by + default, results in the following memory mappings: :: @@ -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 |