[RTEMS Project] #4170: Raspberry Pi booting files from master branch not working

[RTEMS trac]

#4170: Raspberry Pi booting files from master branch not working
-------------------------------------+--------------------------------
  Reporter:  Miguel Garcia-Gordillo  |      Owner:  (none)
      Type:  defect                  |     Status:  new
  Priority:  normal                  |  Milestone:  5.1
 Component:  doc                     |    Version:  5
  Severity:  normal                  |   Keywords:  raspberrypi2, boot
Blocked By:                          |   Blocking:
-------------------------------------+--------------------------------
 In order to execute an RTEMS 5.1 image in a Raspberry Pi 2, documentation
 (https://ftp.rtems.org/pub/rtems/releases/5/5.1/docs/html/user/bsps/bsps-
 arm.html#setup-sd-card) specifies that the boot files can be downloaded
 from https://github.com/raspberrypi/firmware/tree/master/boot

 Last commit that I could check is 0c3ecac5... and it does not work.

 On the other hand, I could check the version in tag 1.20190718 and it
 works. https://github.com/raspberrypi/firmware/tree/1.20190718/boot

 Maybe documentation can be updated to link with the correct version of
 Raspberry Pi booting.

--
Ticket URL: <http://devel.rtems.org/ticket/4170>
RTEMS Project <http://www.rtems.org/>
RTEMS Project