On 19/10/2017 16:12, [email protected] wrote: > devel.rtems.org is dead and the ones that are referred to in source builder.
Thanks. I have fixed it. It should be on line now. Chris _______________________________________________ users mailing list [email protected] http://lists.rtems.org/mailman/listinfo/users
