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. +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
