Guide users into the right direction by mentioning what config.txt
key is needed to start barebox in 64-bit mode.
Signed-off-by: Ahmad Fatoum <a.fatoum@xxxxxxxxxxxxxx>
---
Documentation/boards/bcm2835.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Documentation/boards/bcm2835.rst b/Documentation/boards/bcm2835.rst
index f7ab723d633a..a05ae3c6f2ed 100644
--- a/Documentation/boards/bcm2835.rst
+++ b/Documentation/boards/bcm2835.rst
@@ -29,8 +29,8 @@ over SD or Ethernet on the Raspberry Pi 4.
``barebox.img``.
For 64-bit, only ``images/barebox-raspberry-pi.img`` will be created, which is usable
- for both Raspberry Pi 3 and Raspberry Pi 4 in 64-bit mode. No support for the Raspberry
- Pi 5 has been contributed yet.
+ for both Raspberry Pi 3 and Raspberry Pi 4 in 64-bit mode (``arm_64bit`` in ``config.txt``).
+ No support for the Raspberry Pi 5 has been contributed yet.
The ``images/barebox-raspberry-pi.img`` is expected to be the sole image for 32-bit
also in the future. It contains the device trees of all supported (and enabled) variants
--
2.39.2
