diff options
| author | Jan Kiszka <jan.kiszka@siemens.com> | 2019-12-09 12:48:42 +0100 |
|---|---|---|
| committer | Olivier Deprez <olivier.deprez@arm.com> | 2020-01-14 17:04:49 +0000 |
| commit | 433090515dd4a97ed234ed20e6902da68b917346 (patch) | |
| tree | 2d6eab3a0a183d338ef038d949b5d07b5fd09f69 /docs/plat | |
| parent | 2aa60e703c0427da1576d7f18d9d85258af30082 (diff) | |
| download | platform_external_arm-trusted-firmware-433090515dd4a97ed234ed20e6902da68b917346.tar.gz platform_external_arm-trusted-firmware-433090515dd4a97ed234ed20e6902da68b917346.tar.bz2 platform_external_arm-trusted-firmware-433090515dd4a97ed234ed20e6902da68b917346.zip | |
rpi4: Fix documentation of armstub config entry
It's in fact mandatory. Seen with RPi firmware 1.20190925.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Change-Id: I80739b74f25817294adc52cfd26a3ec59c06f892
Diffstat (limited to 'docs/plat')
| -rw-r--r-- | docs/plat/rpi4.rst | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/docs/plat/rpi4.rst b/docs/plat/rpi4.rst index 0f529c103..beb0227c2 100644 --- a/docs/plat/rpi4.rst +++ b/docs/plat/rpi4.rst @@ -24,11 +24,10 @@ one universal binary (bl31.bin), which can be built with: CROSS_COMPILE=aarch64-linux-gnu- make PLAT=rpi4 DEBUG=1 -Copy the generated build/rpi4/debug/bl31.bin to the SD card, either -renaming it to ``armstub8.bin`` or adding an entry starting with ``armstub=``, -then followed by the respective file name to ``config.txt``. -You should have AArch64 code in the file loaded as the "kernel", as BL31 -will drop into AArch64/EL2 to the respective load address. +Copy the generated build/rpi4/debug/bl31.bin to the SD card, adding an entry +starting with ``armstub=``, then followed by the respective file name to +``config.txt``. You should have AArch64 code in the file loaded as the +"kernel", as BL31 will drop into AArch64/EL2 to the respective load address. arm64 Linux kernels are known to work this way. Other options that should be set in ``config.txt`` to properly boot 64-bit |