On Wed, Dec 13, 2023 at 01:12:46PM +0100, Ahmad Fatoum wrote: > While rpi4 support is not as extensive as the rpi3, it's still > sufficient to boot Linux from either SD or Ethernet. > > Make this clearer in the documentation. > > Signed-off-by: Ahmad Fatoum <a.fatoum@xxxxxxxxxxxxxx> > --- > Documentation/boards/bcm2835.rst | 21 ++++++++++++++------- > 1 file changed, 14 insertions(+), 7 deletions(-) Applied, thanks Sascha > > diff --git a/Documentation/boards/bcm2835.rst b/Documentation/boards/bcm2835.rst > index cfd3bb2edb96..f7ab723d633a 100644 > --- a/Documentation/boards/bcm2835.rst > +++ b/Documentation/boards/bcm2835.rst > @@ -5,28 +5,35 @@ Raspberry Pi > ------------ > > barebox has support for BCM283x-based Raspberry Pi single board computers. > -Support is most extensive for BCM283[567]. For the newer BCM2711 used in the > -Raspberry Pi 4, only basic support is currently available (Serial Port, > -Pinctrl/GPIO, SD-Card). > +Support is most extensive for BCM283[567], but barebox can also boot Linux > +over SD or Ethernet on the Raspberry Pi 4. > > 1. Prepare an SD or microSD card with a FAT filesystem of at least 30 MB in size. > > 2. Download the `Raspberry Pi firmware`_ (195 MB), unzip it, and copy the > contents of the ``boot/`` folder to your card. > > - 3. Use ``make rpi_defconfig; make`` to build barebox. This will create the following images: > + 3. Use ``make rpi_defconfig; make`` to build barebox for 32-bit boards or > + ``make rpi_v8a_defconfig; make`` to build barebox for 64-bit. > + > + ``rpi_defconfig`` will build at least following images: > > - ``images/barebox-raspberry-pi-1.img`` for the BCM2835/ARM1176JZF-S (Raspberry Pi 1, Raspberry Pi Zero) > - ``images/barebox-raspberry-pi-2.img`` for the BCM2836/CORTEX-A7 (Raspberry Pi 2) > - ``images/barebox-raspberry-pi-3.img`` for the BCM2837/CORTEX-A53 (Raspberry Pi 3) > - ``images/barebox-raspberry-pi-cm3.img`` for the BCM2837/CORTEX-A53 (Raspberry Pi CM3) > - - ``images/barebox-raspberry-pi.img``, which is a super set of all the other images > + - ``images/barebox-raspberry-pi.img``, which is a super set of all the other images, > + including Raspberry Pi 4 32-bit support. > > Copy the respective image for your model to your SD card and name it > ``barebox.img``. > > - The ``images/barebox-raspberry-pi.img`` is expected to replace the other images > - in the future. It contains the device trees of all supported (and enabled) variants > + 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. > + > + 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 > and determines at runtime what board it runs on and does the right thing. > > 4. Create a text file ``config.txt`` on the SD card with the following content:: > -- > 2.39.2 > > > -- Pengutronix e.K. | | Steuerwalder Str. 21 | http://www.pengutronix.de/ | 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 |
