On Mon, Jun 14, 2021 at 3:02 AM pranav <dangipra...@gmail.com> wrote: > > Updated the link to the Raspberry Pi Firmware in RTEMS 5 docs, since the BSP > works with an older version of the firmware currently. > --- > user/bsps/arm/raspberrypi.rst | 7 ++++--- > 1 file changed, 4 insertions(+), 3 deletions(-) > > diff --git a/user/bsps/arm/raspberrypi.rst b/user/bsps/arm/raspberrypi.rst > index c26f4b5..84e45b9 100644 > --- a/user/bsps/arm/raspberrypi.rst > +++ b/user/bsps/arm/raspberrypi.rst > @@ -19,9 +19,10 @@ The bootloader looks for a kernel image, by default the > kernel images must > have a name of the form ``kernel*.img`` but this can be changed by adding > `kernel=<img_name>` to ``config.txt``. > > -You must provide the required files for the GPU to proceed. These files > -can be downloaded from > -`the Raspberry Pi Firmware Repository > <https://github.com/raspberrypi/firmware/tree/master/boot>`_. > +You must provide the required files for the GPU to proceed. The BSP > +currently boots with an older version of the official Raspberry Pi Firmware.
Can you please expand on this sentence to explain why / that newer versions don't work? > +These files can be downloaded from > +`the Raspberry Pi Firmware Repository > <https://github.com/raspberrypi/firmware/tree/1.20200601/boot>`_. > You can remove the ``kernel*.img`` files if you want too, but don't touch > the other files. > > -- > 2.27.0 > > _______________________________________________ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel