This site is used for downloading RTEMS files for the RSB or elsewhere.

To use:

  https://dl.rtems.org/<sha512>/<filename>

Both the sha512 and filename must match or it will 404.