devel.rtems.org is dead and the ones that are referred to in source builder.
A > On 2017-October-18, at 23:10, Chris Johns <[email protected]> wrote: > > On 19/10/2017 15:55, [email protected] wrote: >> I was trying to get the 4.12 tools working but some of the rtems.org >> <http://rtems.org> servers used for git in RSB are giving 503s. > > http://rtems.org/ changes to https://www.rtems.org/. > > They are all working for me. > > Chris _______________________________________________ users mailing list [email protected] http://lists.rtems.org/mailman/listinfo/users
